Pages that link to "Item:Q5404909"
From MaRDI portal
The following pages link to Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets (Q5404909):
Displaying 13 items.
- Characterisation of the state spaces of marked graph Petri nets (Q515678) (← links)
- Synthesis of (choice-free) reset nets (Q2117175) (← links)
- Synthesis of inhibitor-reset Petri nets: algorithmic and complexity issues (Q2165238) (← links)
- Synthesis and reengineering of persistent systems (Q2257983) (← links)
- State space axioms for T-systems (Q2340253) (← links)
- Characterising Petri Net Solvable Binary Words (Q2822650) (← links)
- The Power of Prime Cycles (Q2822651) (← links)
- Petri Net Synthesis for Restricted Classes of Nets (Q2822652) (← links)
- Parameterized Complexity of Synthesizing b-Bounded (m, n)-T-Systems (Q3297771) (← links)
- Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis (Q5025057) (← links)
- Synthesis of Pure and Impure Petri Nets with Restricted Place-environments: Complexity Issues (Q5044398) (← links)
- A New Property of Choice-Free Petri Net Systems (Q5100751) (← links)
- Synthesis of Persistent Systems (Q5166759) (← links)
