Pages that link to "Item:Q2971132"
From MaRDI portal
The following pages link to A Graph-Theoretical Characterisation of State Separation (Q2971132):
Displaying 5 items.
- Presynthesis of bounded choice-free or fork-attribution nets (Q2304527) (← links)
- Target-oriented Petri Net Synthesis (Q4988954) (← links)
- Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory (Q5025067) (← links)
- A New Property of Choice-Free Petri Net Systems (Q5100751) (← links)
- Automated Repair of Process Models Using Non-local Constraints (Q5100758) (← links)
