Decomposition of the supervisory control problem for Petri nets under preservation of maximal permissiveness

DOI10.1109/9.948484MaRDI QIDQ4540501zbMATH OpenOpenAlexFDO

Authors G. Stremersch, R. K. Boel

Publication date 21 July 2002

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/9.948484

zbMATH Keywords

maximal permissivenessPetri netssupervisory control

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Hierarchical systems (93A13) Decentralized systems (93A14) Discrete event control/observation systems (93C65)

Recommendations

• Reduction of the supervisory control problem for Petri nets
• A branch and bound approach for the design of decentralized supervisors in Petri net models
• Synthesis of decentralized supervisor for Petri nets using decomposition with overlapping places
• Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets
• Blocking and controllability of Petri nets in supervisory control

Cited in

(7)

• A branch and bound approach for the design of decentralized supervisors in Petri net models
• Reduction of the supervisory control problem for Petri nets
• Decidability and closure properties of weak Petri net languages in supervisory control
• Synthesis of decentralized supervisor for Petri nets using decomposition with overlapping places
• Optimal sensor selection for diagnosability enforcement of discrete event systems using labeled Petri net
• Prognosability verification and enforcement in labeled Petri nets under observation delays and intermittent losses
• Supervision based on place invariants: a survey

This page was built for publication: Decomposition of the supervisory control problem for Petri nets under preservation of maximal permissiveness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4540501)