- Tytuł:
- A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs
- Autorzy:
- Esparza, J.
- Data publikacji:
- 2004
- Słowa kluczowe:
-
free choice Petri nets
Signal Transition Graphs
STGs - Pokaż więcej
- Dostawca treści:
- BazTech