Pages that link to "Item:Q911779"
From MaRDI portal
The following pages link to Partial order behaviour and structure of Petri nets (Q911779):
Displaying 14 items.
- Modular construction and partial order semantics of Petri nets (Q396979) (← links)
- 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)
- Executions: A new partial-order semantics of Petri nets (Q1183595) (← 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)
- A partial trace semantics for Petri nets (Q1341743) (← links)
- Weakly UDO semirings and Korczyński nets over them (Q1596371) (← links)
- Partial array token Petri net and \(P\) system (Q2055836) (← links)
- Quality criteria for partial order semantics of place/transition-nets (Q3976036) (← links)
- (Q4782071) (← links)
- Adjunct partial array token Petri net structure (Q6166839) (← links)