Optimal Petri net supervisor synthesis for forbidden state problems using marking mask
From MaRDI portal
Publication:2656745
DOI10.1016/j.ins.2019.07.008zbMath1456.93005MaRDI QIDQ2656745
Li Yin, Yuting Li, Zhenhua Yu, NaiQi Wu, YuFeng Chen
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
93C65: Discrete event control/observation systems
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Cites Work
- Unnamed Item
- Petri net-based approach to short-term scheduling of crude oil operations with less tank requirement
- Reduction of constraints for controller synthesis based on safe Petri nets
- Feedback control of Petri nets based on place invariants
- Supervisory control of state-tree structures with partial observation
- Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
- Controller Synthesis with Highly Simplified Linear Constraints
- Synthesis of feedback control logic for a class of controlled Petri nets
- A stochastic petri net with applications to modelling occupancy times for concurrent task systems
- 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
- Introduction to Petri Nets
- Modular Feedback Logic for Discrete Event Systems
