Synthesis of supervisors enforcing general linear constraints in petri nets

DOI10.1109/TAC.2003.819298MaRDI QIDQ5266696zbMATH OpenOpenAlexFDO

Authors Panos J. Antsaklis, Marian V. Iordache

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)