Pages that link to "Item:Q2342792"
From MaRDI portal
The following pages link to A branch and bound approach for the design of decentralized supervisors in Petri net models (Q2342792):
Displaying 7 items.
- Petri net controllers for generalized mutual exclusion constraints with floor operators (Q340680) (← links)
- Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method (Q664298) (← links)
- Design of supervisors for linear marking specifications in labeled Petri nets (Q2063788) (← links)
- An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems (Q2127112) (← links)
- Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models (Q2350813) (← links)
- Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri nets (Q2663929) (← links)
- Marking diagnosability verification in labeled Petri nets (Q2665360) (← links)