Pages that link to "Item:Q5282318"
From MaRDI portal
The following pages link to Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems (Q5282318):
Displaying 8 items.
- On structural minimality of optimal supervisors for flexible manufacturing systems (Q361050) (← links)
- Robustness of deadlock avoidance algorithms for sequential processes. (Q1413928) (← links)
- Deadlock prevention policy with behavioral optimality or suboptimality achieved by the redundancy identification of constraints and the rearrangement of monitors (Q1723403) (← 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)
- 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)