Pages that link to "Item:Q911779"
From MaRDI portal
The following pages link to Partial order behaviour and structure of Petri nets (Q911779):
Displaying 6 items.
- Complexity results for 1-safe nets (Q672459) (← links)
- Reachability in cyclic extended free-choice systems (Q685410) (← links)
- Untanglings: a novel approach to analyzing concurrent systems (Q903488) (← links)
- A polynomial-time algorithm to decide liveness of bounded free choice nets (Q1193656) (← links)
- Traps characterize home states in free choice systems (Q1194324) (← links)
- Compositional generation of home states in free choice nets (Q1205188) (← links)
