Optimal Petri net supervisor synthesis for forbidden state problems using marking mask

DOI10.1016/j.ins.2019.07.008zbMath1456.93005OpenAlexW2956599543MaRDI 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

zbMATH Keywords

Petri netdiscrete-event systemforbidden state problemmarking mask

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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

This page was built for publication: Optimal Petri net supervisor synthesis for forbidden state problems using marking mask