Pages that link to "Item:Q2803576"
From MaRDI portal
The following pages link to Synthesis of live and bounded persistent systems (Q2803576):
Displaying 9 items.
- Characterisation of the state spaces of marked graph Petri nets (Q515678) (← links)
- Reduction and synthesis of live and bounded free choice Petri nets (Q1336048) (← links)
- Bounded choice-free Petri net synthesis: algorithmic issues (Q1789066) (← links)
- Synthesis of Petri nets with restricted place-environments: classical and parameterized (Q2117176) (← links)
- Synthesis and reengineering of persistent systems (Q2257983) (← links)
- An extension of the taxonomy of persistent and nonviolent steps (Q2293146) (← 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)