Decentralized supervisory controller design to avoid deadlock in Petri nets

DOI10.1080/0020717031000149609zbMath1040.93047OpenAlexW2153738373MaRDI QIDQ4459054

Aydın Aybar, Altuğ İftar

Publication date: 25 March 2004

Published in: International Journal of Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/0020717031000149609

zbMATH Keywords

Petri netsdeadlockoverlapping decompositionsdecentralized supervisory controllerdiserete-event systems

Mathematics Subject Classification ID

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

Related Items (2)

Unnamed Item ⋮ Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets

This page was built for publication: Decentralized supervisory controller design to avoid deadlock in Petri nets