Pages that link to "Item:Q5096358"
From MaRDI portal
The following pages link to On liveness in Extended Non Self-Controlling Nets (Q5096358):
Displaying 6 items.
- On the refinement of liveness properties of distributed systems (Q763239) (← links)
- New characterization for live and reversible augmented marked graphs (Q834954) (← links)
- A note on regular Petri nets (Q975419) (← links)
- Cycle inclusion property of augmented marked graphs (Q1041766) (← links)
- On liveness and boundedness of asymmetric choice nets (Q1884933) (← links)
- Siphons, traps and high-level nets with infinite color domains (Q6487380) (← links)