Pages that link to "Item:Q2971132"
From MaRDI portal
The following pages link to A Graph-Theoretical Characterisation of State Separation (Q2971132):
Displaying 11 items.
- A problem-decomposition method using differences or equivalence relations between states (Q1058310) (← links)
- State graphs and fibered state surfaces (Q2175886) (← links)
- Presynthesis of bounded choice-free or fork-attribution nets (Q2304527) (← links)
- Self-Testing Graph States (Q3453314) (← links)
- A generalized state-splitting algorithm (Q4345639) (← links)
- Application of bipartite graphs for achieving race-free state assignments (Q4421202) (← 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)
- (Q5314205) (← links)