Pages that link to "Item:Q1295011"
From MaRDI portal
The following pages link to An application of independent, increasing, free-choice Petri nets to the synthesis of policies that enforce liveness in arbitrary Petri nets (Q1295011):
Displaying 4 items.
- On commoner's liveness theorem and supervisory policies that enforce liveness in free-choice Petri nets (Q1391343) (← links)
- An enhanced supervisory control strategy for periodicity mutual exclusions in discrete event systems based on Petri nets (Q2398731) (← links)
- Some observations on supervisory policies that enforce liveness in partially controlled free-choice Petri nets (Q2489594) (← links)
- Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri nets (Q2663929) (← links)