Pages that link to "Item:Q2280177"
From MaRDI portal
The following pages link to Analysis and synthesis of weighted marked graph Petri nets (Q2280177):
Displaying 5 items.
- Efficient synthesis of weighted marked graphs with circular reachability graph, and beyond (Q2032839) (← links)
- Synthesis of (choice-free) reset nets (Q2117175) (← links)
- Synthesis of inhibitor-reset Petri nets: algorithmic and complexity issues (Q2165238) (← links)
- Parameterized Complexity of Synthesizing b-Bounded (m, n)-T-Systems (Q3297771) (← links)
- Target-oriented Petri Net Synthesis (Q4988954) (← links)
