Pages that link to "Item:Q2982662"
From MaRDI portal
The following pages link to Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints (Q2982662):
Displaying 24 items.
- Petri net controllers for generalized mutual exclusion constraints with floor operators (Q340680) (← links)
- Deadlock and liveness characterization for a class of generalized Petri nets (Q780961) (← links)
- Confusion control in generalized Petri nets using synchronized events (Q1666205) (← links)
- On the enforcement of a class of nonlinear constraints on Petri nets (Q1689357) (← links)
- Deadlock prevention policy with behavioral optimality or suboptimality achieved by the redundancy identification of constraints and the rearrangement of monitors (Q1723403) (← links)
- On-line verification of current-state opacity by Petri nets and integer linear programming (Q1797108) (← links)
- Inference approach based on Petri nets (Q2056355) (← links)
- Analysis of strong and strong periodic detectability of bounded labeled Petri nets (Q2060875) (← links)
- Design of supervisors for linear marking specifications in labeled Petri nets (Q2063788) (← links)
- Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions (Q2224835) (← links)
- Editorial: Deadlock analysis and control in resource allocation systems (Q2279724) (← links)
- Complexity of the deadlock problem for Petri nets modeling resource allocation systems (Q2279727) (← links)
- A survey of siphons in Petri nets (Q2279728) (← links)
- Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs (Q2279733) (← links)
- Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm (Q2279735) (← links)
- An improved approach for marking optimization of timed weighted marked graphs (Q2286328) (← links)
- Deadlock recovery for flexible manufacturing systems modeled with Petri nets (Q2292945) (← links)
- A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems (Q2293066) (← links)
- An enhanced supervisory control strategy for periodicity mutual exclusions in discrete event systems based on Petri nets (Q2398731) (← links)
- Optimal Petri net supervisor synthesis for forbidden state problems using marking mask (Q2656745) (← links)
- Stochastic Petri net based modeling of emergency medical rescue processes during earthquakes (Q2661939) (← links)
- Design of control laws for timed event graphs networks subject to mutual exclusion constraints in min-plus algebra (Q2667519) (← links)
- Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs (Q4575107) (← links)
- An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions (Q6186994) (← links)
