scientific article; zbMATH DE number 1756008

MaRDI QIDQ4535794zbMATH OpenFDO

Authors Panos J. Antsaklis, Marian V. Iordache

Publication date 16 June 2002

zbMATH Keywords

deadlocklivenessstructural properties of Petri netssynthesis of liveness supervisors

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming
• Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming
• Extended elementary siphons and their application to liveness-enforcement of generalized Petri nets
• Necessary and sufficient liveness condition of GS³PR Petri nets
• On liveness and controlled siphons in Petri nets

Cited in

(10)

• On liveness and boundedness of asymmetric choice nets
• Some observations on supervisory policies that enforce liveness in partially controlled free-choice Petri nets
• Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming
• scientific article; zbMATH DE number 3978396 (Why is no real title available?)
• Extended elementary siphons and their application to liveness-enforcement of generalized Petri nets
• Necessary and sufficient liveness condition of GS³PR Petri nets
• Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software
• Applications and Theory of Petri Nets 2005
• Liveness enforcement for production systems modeled by time Petri nets
• Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs

This page was built for publication:

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