- Tytuł:
- On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets
- Autorzy:
-
Devillers, Raymond
Tredup, Ronny - Tematy:
-
petri net
boolean types
label-splitting
edge-removal
event-removal
state-removal
synthesis
complexity - Pokaż więcej
- Dostawca treści:
- BazTech