Design of T-liveness enforcing supervisors in petri nets

DOI10.1109/TAC.2003.819078zbMATH Open1364.93468MaRDI QIDQ5266683FDOQ5266683

Authors: Panos J. Antsaklis, Marian V. Iordache 

Publication date: 20 June 2017

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

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

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)

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

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)