- Tytuł:
- Dynamic Modification of Object Petri Nets. An Application to Modelling Protocols with Fork-Join Structures
- Autorzy:
- Farwer, B.
- Data publikacji:
- 2002
- Słowa kluczowe:
-
Linear Logic Petri
modelling protocols - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł