Design of T-liveness enforcing supervisors in petri nets

DOI10.1109/TAC.2003.819078MaRDI QIDQ5266683zbMATH OpenFDO

Authors Panos J. Antsaklis, Marian V. Iordache

Publication date 20 June 2017

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

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)

Recommendations

• On Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets
• Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming
• Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming
• On the Existence of Supervisory Policies That Enforce Liveness in Partially Controlled Free-Choice Petri Nets
• Some observations on supervisory policies that enforce liveness in partially controlled free-choice Petri nets
• A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
• Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri nets
• On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets
• Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methods
• On a Sufficient Information Structure for Supervisory Policies That Enforce Liveness in a Class of General Petri Nets

Cited in

(8)

• Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming
• Decentralized structural controller design for large-scale discrete-event systems modelled by Petri nets
• Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching
• Some observations on supervisory policies that enforce liveness in partially controlled free-choice Petri nets
• Supervision based on place invariants: a survey
• Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software
• Observable liveness of Petri nets
• Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement

This page was built for publication: Design of T-liveness enforcing supervisors in petri nets

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