- Tytuł:
- Building Occurrence Nets from Reveals Relations
- Autorzy:
-
Balaguer, S.
Chatain, T.
Haar, S. - Data publikacji:
- 2013
- Słowa kluczowe:
-
synthesis of concurrent systems
occurrence nets
event logics
Petri nets
maximal runs - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł