Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
From MaRDI portal
Publication:2982662
DOI10.1109/TAC.2015.2389313zbMath1360.93431OpenAlexW1915570783MaRDI QIDQ2982662
Ziyue Ma, Alessandro Giua, Zhiwu Li
Publication date: 16 May 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2015.2389313
Related Items (24)
Petri net controllers for generalized mutual exclusion constraints with floor operators ⋮ An enhanced supervisory control strategy for periodicity mutual exclusions in discrete event systems based on Petri nets ⋮ Optimal Petri net supervisor synthesis for forbidden state problems using marking mask ⋮ Confusion control in generalized Petri nets using synchronized events ⋮ Stochastic Petri net based modeling of emergency medical rescue processes during earthquakes ⋮ Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs ⋮ Design of control laws for timed event graphs networks subject to mutual exclusion constraints in min-plus algebra ⋮ On the enforcement of a class of nonlinear constraints on Petri nets ⋮ An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions ⋮ Deadlock prevention policy with behavioral optimality or suboptimality achieved by the redundancy identification of constraints and the rearrangement of monitors ⋮ Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions ⋮ Editorial: Deadlock analysis and control in resource allocation systems ⋮ Complexity of the deadlock problem for Petri nets modeling resource allocation systems ⋮ A survey of siphons in Petri nets ⋮ Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs ⋮ Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm ⋮ An improved approach for marking optimization of timed weighted marked graphs ⋮ On-line verification of current-state opacity by Petri nets and integer linear programming ⋮ Deadlock recovery for flexible manufacturing systems modeled with Petri nets ⋮ A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems ⋮ Inference approach based on Petri nets ⋮ Analysis of strong and strong periodic detectability of bounded labeled Petri nets ⋮ Design of supervisors for linear marking specifications in labeled Petri nets ⋮ Deadlock and liveness characterization for a class of generalized Petri nets
This page was built for publication: Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
