Pages that link to "Item:Q2489594"
From MaRDI portal
The following pages link to Some observations on supervisory policies that enforce liveness in partially controlled free-choice Petri nets (Q2489594):
Displaying 4 items.
- An application of independent, increasing, free-choice Petri nets to the synthesis of policies that enforce liveness in arbitrary Petri nets (Q1295011) (← links)
- On commoner's liveness theorem and supervisory policies that enforce liveness in free-choice Petri nets (Q1391343) (← links)
- Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming (Q3058342) (← links)
- Design of T-liveness enforcing supervisors in petri nets (Q5266683) (← links)