Optimal Petri net supervisor synthesis for forbidden state problems using marking mask
DOI10.1016/J.INS.2019.07.008zbMATH Open1456.93005OpenAlexW2956599543MaRDI QIDQ2656745FDOQ2656745
Authors: Yuting Li, Li Yin, Zhenhua Yu, YuFeng Chen, NaiQi Wu 
Publication date: 16 March 2021
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ins.2019.07.008
Recommendations
- Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
- On forbidden state problems for a class of controlled Petri nets
- Structural optimal control for safe Petri nets
- Forbidden state avoidance controller synthesis for Petri nets
- Solving the problem of forbidden states in discrete event systems: a novel systematic method for reducing the number of control places
Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Feedback control of Petri nets based on place invariants
- Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
- Modular Feedback Logic for Discrete Event Systems
- Reduction of constraints for controller synthesis based on safe Petri nets
- Synthesis of feedback control logic for a class of controlled Petri nets
- Petri net-based approach to short-term scheduling of crude oil operations with less tank requirement
- Modular transformation methods for generalized Petri nets and their application to automated manufacturing systems
- On forbidden state problems for a class of controlled Petri nets
- Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case
- Supervisory control of state-tree structures with partial observation
- Controller synthesis with highly simplified linear constraints
- A stochastic petri net with applications to modelling occupancy times for concurrent task systems
- Introduction to Petri nets
Cited In (9)
- Synthesis of feedback control logic for a class of controlled Petri nets
- On forbidden state problems for a class of controlled Petri nets
- Suboptimal time management of discrete event systems with uncontrollable events modeled by Petri nets
- Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets
- Structural optimal control for safe Petri nets
- DECIDABILITY AND COMPLEXITY ANALYSIS OF FORBIDDEN STATE PROBLEMS FOR DISCRETE EVENT SYSTEMS
- Near-Optimal Scheduling for Petri Net Models With Forbidden Markings
- Solving the problem of forbidden states in discrete event systems: a novel systematic method for reducing the number of control places
- Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
This page was built for publication: Optimal Petri net supervisor synthesis for forbidden state problems using marking mask
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2656745)
