Blocking and controllability of Petri nets in supervisory control

DOI10.1109/9.286260zbMath0812.93004OpenAlexW2120909378MaRDI QIDQ4309230

Alessandro Giua, Frank DiCesare

Publication date: 1 November 1994

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

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

zbMATH Keywords

discrete event systemssupervisory control theoryPetri net languagessupremal controllable sublanguage operator

Mathematics Subject Classification ID

Controllability (93B05) Hierarchical systems (93A13) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) General systems (93A10)

Related Items (9)

Control of parameterized discrete event systems ⋮ Supervision based on place invariants: a survey ⋮ Feedback control of Petri nets based on place invariants ⋮ Synthesis of controllers for symmetric systems ⋮ Synthesis of Petri net supervisors enforcing general constraints ⋮ Supervisory control of discrete event systems with flexible marking ⋮ Structural Analysis for Stochastic Process Algebra Models ⋮ Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets ⋮ Supervisory Control of Petri Nets with Language Specifications

This page was built for publication: Blocking and controllability of Petri nets in supervisory control