Synthesis of supervisors enforcing general linear constraints in petri nets

DOI10.1109/TAC.2003.819298zbMATH Open1364.93469OpenAlexW1970304516MaRDI QIDQ5266696FDOQ5266696

Marian V. Iordache, Panos J. Antsaklis

Publication date: 20 June 2017

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

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

Mathematics Subject Classification ID

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

Cited In (8)

• Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm
• A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems
• Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions
• An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions
• Synthesis of Petri net supervisors enforcing general constraints
• Maximally permissive supervisor synthesis based on a new constraint transformation method
• Supervision based on place invariants: a survey
• Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places

This page was built for publication: Synthesis of supervisors enforcing general linear constraints in petri nets

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