Synthesis of feedback control logic for a class of controlled Petri nets

DOI10.1109/9.53517zbMath0709.68035OpenAlexW2044943300MaRDI QIDQ3493242

Lawrence E. Holloway, Bruce H. Krogh

Publication date: 1990

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

Full work available at URL: https://doi.org/10.1109/9.53517

zbMATH Keywords

Petri netsdiscrete event systemsstate feedback logicstate transition logic

Mathematics Subject Classification ID

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

Related Items

On-line control of partially observed discrete event systems ⋮ Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement ⋮ The design of a controller in fuzzy Petri net ⋮ Supervision based on place invariants: a survey ⋮ Feedback control of Petri nets based on place invariants ⋮ An enhanced supervisory control strategy for periodicity mutual exclusions in discrete event systems based on Petri nets ⋮ Optimal Petri net supervisor synthesis for forbidden state problems using marking mask ⋮ Controller synthesis for net condition/event systems with a solution for incomplete state observation ⋮ Concurrency and maximally permissive feedback in Petri nets with external input places ⋮ An efficient modular method for the control of concurrent discrete event systems: A language-based approach ⋮ Mathematical analysis of stage-based programmable logic controller ⋮ Maximally permissive supervisor synthesis based on a new constraint transformation method ⋮ Incremental hierarchical construction of modular supervisors for discrete-event systems ⋮ Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method ⋮ A discrete event approach to the command sequence replanning and control in a teleprogramming system ⋮ Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications ⋮ Decentralized supervisory control of discrete event systems with nonhomogeneous control structure ⋮ Supervisory control of marked graphs with partial observations ⋮ Supervisory control of a class of concurrent discrete event systems under partial observation ⋮ Structural optimal control for safe Petri nets ⋮ Logical models of discrete even systems: a comparative exposition ⋮ Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm ⋮ Synthesis of Petri net supervisors enforcing general constraints ⋮ Grafcet: behavioural issues and control synthesis ⋮ Sensitivity analysis and optimization of stochastic Petri nets ⋮ Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets ⋮ On the corrective control of sequential machines ⋮ Petri nets for modeling of dynamic systems -- a survey