Synthesis of Petri net supervisors enforcing general constraints

DOI10.1631/jzus.2006.A0623zbMath1103.68085MaRDI QIDQ2508210

Yaoyao Zhang, Gang-Feng Yan

Publication date: 9 October 2006

Published in: Journal of Zhejiang University. Science A (Search for Journal in Brave)

zbMATH Keywords

Petri netParikh vectorSupervisor controlUncontrollableUnobservable

Mathematics Subject Classification ID

Controllability (93B05) Observability (93B07) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Feedback control of Petri nets based on place invariants
• Synthesis of feedback control logic for a class of controlled Petri nets
• Control of vector discrete-event systems. II. Controller synthesis
• Blocking and controllability of Petri nets in supervisory control
• Petri net supervisors for DES with uncontrollable and unobservable transitions
• Synthesis of supervisors enforcing general linear constraints in petri nets

This page was built for publication: Synthesis of Petri net supervisors enforcing general constraints