Solving the Problem of Forbidden States in Discrete Event Systems: A Novel Systematic Method for Reducing the Number of Control Places

DOI10.1002/asjc.947zbMath1332.93264OpenAlexW2146640730MaRDI QIDQ2790014

Ali A. Orouji, Meysam Zareiee, Abbas Dideban, Hadi Soltanizadeh

Publication date: 2 March 2016

Published in: Asian Journal of Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/asjc.947

zbMATH Keywords

Petri netdiscrete eventscontrol placeforbidden stateover-state

Mathematics Subject Classification ID

Design techniques (robust design, computer-aided design, etc.) (93B51) Discrete event control/observation systems (93C65)

Related Items (1)

Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm

Cites Work

• On structural minimality of optimal supervisors for flexible manufacturing systems
• Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
• Reduction of constraints for controller synthesis based on safe Petri nets
• Feedback control of Petri nets based on place invariants
• Deadlock prevention policy based on Petri nets and siphons
• Controller Synthesis with Highly Simplified Linear Constraints
• Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions
• Petri net supervisors for DES with uncontrollable and unobservable transitions
• Supervisory control of deterministic Petri nets with regular specification languages
• A generalization of state avoidance policies for controlled Petri nets
• Structure reduction of liveness‐enforcing Petri nets using mixed integer programming

This page was built for publication: Solving the Problem of Forbidden States in Discrete Event Systems: A Novel Systematic Method for Reducing the Number of Control Places