Pages that link to "Item:Q5353394"
From MaRDI portal
The following pages link to Designing Optimal Deadlock Avoidance Policies for Sequential Resource Allocation Systems Through Classification Theory: Existence Results and Customized Algorithms (Q5353394):
Displaying 9 items.
- Deadlock prevention policy with behavioral optimality or suboptimality achieved by the redundancy identification of constraints and the rearrangement of monitors (Q1723403) (← links)
- Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm (Q2279735) (← links)
- A branch and bound approach for the design of decentralized supervisors in Petri net models (Q2342792) (← links)
- Performance optimization for a class of generalized stochastic Petri nets (Q2348377) (← links)
- Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri nets (Q2663929) (← links)
- Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems (Q4368693) (← links)
- Correction to the RUN DAP for conjunctive RAS presented in "Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems" (Q4540370) (← links)
- On the Complexity of Maximally Permissive Deadlock Avoidance in Multi-Vehicle Traffic Systems (Q4978874) (← links)
- Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems (Q5282318) (← links)
