A generalization of state avoidance policies for controlled Petri nets

DOI10.1109/9.506233zbMath0863.93007OpenAlexW2142640538MaRDI QIDQ4886509

Lan Zhang, Xiaoyi Guan, Lawrence E. Holloway

Publication date: 10 June 1997

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

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

zbMATH Keywords

controllabilitystructural analysisdiscrete-event systemforbidden markingscontrolled Petri netsforbidden state control synthesismarked graph structuresstate graph structures

Mathematics Subject Classification ID

Controllability (93B05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (7)

Controller Synthesis with Highly Simplified Linear Constraints ⋮ Supervision based on place invariants: a survey ⋮ Synthesis of controllers for symmetric systems ⋮ Hybrid Petri net and digraph approach for deadlock prevention in automated manufacturing systems ⋮ Solving the Problem of Forbidden States in Discrete Event Systems: A Novel Systematic Method for Reducing the Number of Control Places ⋮ Structural optimal control for safe Petri nets ⋮ Suboptimal time management of discrete event systems with uncontrollable events modeled by Petri nets

This page was built for publication: A generalization of state avoidance policies for controlled Petri nets