- Tytuł:
- Concurrent realizations of reactive systems
- Autorzy:
-
Bednarczyk, M.
Borzyszkowski, A. - Data publikacji:
- 1999
- Słowa kluczowe:
-
Petri nets
transition systems
asynchronous systems
reactive system
concurrent realization
case graphs
mixed products - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł