On forbidden state problems for a class of controlled Petri nets

DOI10.1109/9.467679MaRDI QIDQ4859708zbMATH OpenOpenAlexFDO

Authors Lamia Ben-Naoum, Vincent Van Breusegem, R. K. Boel

Publication date 7 January 1996

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

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

zbMATH Keywords

constraintscontrolled Petri netsdiscrete event systemsforbidden sets

Mathematics Subject Classification ID

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

Recommendations

• A generalization of state avoidance policies for controlled Petri nets
• Optimal Petri net supervisor synthesis for forbidden state problems using marking mask
• scientific article; zbMATH DE number 2117022
• Synthesis of feedback control logic for a class of controlled Petri nets
• Structural optimal control for safe Petri nets

Cited in

(20)

• Petri nets for the design and operation of manufacturing systems
• Controller synthesis for net condition/event systems with a solution for incomplete state observation
• Supervisory control of a class of concurrent discrete event systems under partial observation
• Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions
• Optimal Petri net supervisor synthesis for forbidden state problems using marking mask
• Solving the problem of forbidden states in discrete event systems: a novel systematic method for reducing the number of control places
• The fundamental closed-form solution of control-related states ofkth order S3PR system with left-side non-sharing resource places of Petri nets
• Structural optimal control for safe Petri nets
• Algorithms for deadlock avoidance and reversibility enforcement in discrete event systems
• Synthesis of feedback control logic for a class of controlled Petri nets
• DECIDABILITY AND COMPLEXITY ANALYSIS OF FORBIDDEN STATE PROBLEMS FOR DISCRETE EVENT SYSTEMS
• scientific article; zbMATH DE number 1070362 (Why is no real title available?)
• scientific article; zbMATH DE number 1159255 (Why is no real title available?)
• scientific article; zbMATH DE number 744052 (Why is no real title available?)
• scientific article; zbMATH DE number 1836400 (Why is no real title available?)
• A generalization of state avoidance policies for controlled Petri nets
• Comments on “Feedback Control Logic for Forbidden-State Problems of Marked Graphs: Application to a Real Manufacturing System”
• Petri nets at modelling and control of discrete-event systems with nondeterminism. II
• Control of safe ordinary Petri nets using unfolding
• Supervision based on place invariants: a survey

This page was built for publication: On forbidden state problems for a class of controlled Petri nets

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