Pages that link to "Item:Q2803576"
From MaRDI portal
The following pages link to Synthesis of Live and Bounded Persistent Systems (Q2803576):
Displaying 4 items.
- Characterisation of the state spaces of marked graph Petri nets (Q515678) (← links)
- Bounded choice-free Petri net synthesis: algorithmic issues (Q1789066) (← links)
- Synthesis of Petri nets with restricted place-environments: classical and parameterized (Q2117176) (← links)
- An extension of the taxonomy of persistent and nonviolent steps (Q2293146) (← links)
