Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints

Cited in

(27)

Confusion control in generalized Petri nets using synchronized events
On the enforcement of a class of nonlinear constraints on Petri nets
Deadlock prevention policy with behavioral optimality or suboptimality achieved by the redundancy identification of constraints and the rearrangement of monitors
On-line verification of current-state opacity by Petri nets and integer linear programming
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
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
Deadlock recovery for flexible manufacturing systems modeled with Petri nets
A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems
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
Stochastic Petri net based modeling of emergency medical rescue processes during earthquakes
Design of control laws for timed event graphs networks subject to mutual exclusion constraints in min-plus algebra
Petri net controllers for generalized mutual exclusion constraints with floor operators
Design of optimal Petri net supervisors for flexible manufacturing systems via weighted inhibitor arcs
An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions
Complexity reduction in enforcing disjunctive generalized mutual exclusion constraints
Monitor-based synthesis in enforcing disjunctive generalised mutual exclusion constraints
Design of control laws to guarantee mutual exclusion constraints in a network of linear min-plus systems with disturbance inputs
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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2982662)