- Tytuł:
- Synthesising Elementary Net Systems with Inhibitor Ares from Step Transition Systems
- Autorzy:
- Pietkiewicz-Koutny, M.
- Data publikacji:
- 2002
- Słowa kluczowe:
-
causality/partial order theory of concurrency
analysis
synthesis
structure and behaviour of nets
theory of regions
transition systems - Pokaż więcej
- Dostawca treści:
- BazTech