Design of T-liveness enforcing supervisors in petri nets

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

Marian V. Iordache, Panos J. Antsaklis

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)

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
• Title not available (Why is that?)
• Some observations on supervisory policies that enforce liveness in partially controlled free-choice Petri nets
• Observable liveness of Petri nets
• Supervision based on place invariants: a survey
• Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching

   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 👍 👎

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)