Pages that link to "Item:Q4988954"
From MaRDI portal
The following pages link to Target-oriented Petri Net Synthesis (Q4988954):
Displaying 6 items.
- Relabelling LTS for Petri net synthesis via solving separation problems (Q2032917) (← links)
- Synthesis of (choice-free) reset nets (Q2117175) (← links)
- Synthesis of inhibitor-reset Petri nets: algorithmic and complexity issues (Q2165238) (← links)
- The Power of Prime Cycles (Q2822651) (← links)
- Simultaneous Petri Net Synthesis (Q4621223) (← links)
- A New Property of Choice-Free Petri Net Systems (Q5100751) (← links)