The following pages link to Synthesis of Persistent Systems (Q5166759):
Displayed 6 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 (choice-free) reset nets (Q2117175) (← links)
- Synthesis and reengineering of persistent systems (Q2257983) (← links)
- State space axioms for T-systems (Q2340253) (← links)
- Target-oriented Petri Net Synthesis (Q4988954) (← links)