The following pages link to Synthesis of Persistent Systems (Q5166759):
Displaying 10 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)
- Synthesis of succinct systems (Q2353397) (← links)
- Synthesis of live and bounded persistent systems (Q2803576) (← links)
- (Q4737196) (← links)
- Target-oriented Petri Net Synthesis (Q4988954) (← links)
- Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464485) (← links)