Synthesis of supervisors enforcing general linear constraints in petri nets

DOI10.1109/TAC.2003.819298zbMath1364.93469OpenAlexW1970304516MaRDI QIDQ5266696

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)

Related Items (8)

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

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