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

DOI10.1016/J.INS.2019.07.008MaRDI QIDQ2656745zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• A stochastic petri net with applications to modelling occupancy times for concurrent task systems
• Controller synthesis with highly simplified linear constraints
• Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
• Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case
• Feedback control of Petri nets based on place invariants
• Introduction to Petri nets
• Modular Feedback Logic for Discrete Event 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
• 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
• Supervisory control of state-tree structures with partial observation
• Synthesis of feedback control logic for a class of controlled 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)