- Tytuł:
- Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis
- Autorzy:
- Devillers, Raymond
- Data publikacji:
- 2021
- Słowa kluczowe:
-
labelled transition systems
composition
decomposition
Petri net synthesis - Pokaż więcej
- Dostawca treści:
- BazTech