Pages that link to "Item:Q1647718"
From MaRDI portal
The following pages link to Over-approximative Petri net synthesis for restricted subclasses of nets (Q1647718):
Displaying 4 items.
- Synthesis of (choice-free) reset nets (Q2117175) (← links)
- Synthesis of inhibitor-reset Petri nets: algorithmic and complexity issues (Q2165238) (← links)
- Target-oriented Petri Net Synthesis (Q4988954) (← links)
- Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis (Q5025057) (← links)
