Pages that link to "Item:Q1391343"
From MaRDI portal
The following pages link to On commoner's liveness theorem and supervisory policies that enforce liveness in free-choice Petri nets (Q1391343):
Displaying 3 items.
- An application of independent, increasing, free-choice Petri nets to the synthesis of policies that enforce liveness in arbitrary Petri nets (Q1295011) (← links)
- Some observations on supervisory policies that enforce liveness in partially controlled free-choice Petri nets (Q2489594) (← links)
- Siphons, traps and high-level nets with infinite color domains (Q6487380) (← links)