Pages that link to "Item:Q4540213"
From MaRDI portal
The following pages link to Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings (Q4540213):
Displaying 42 items.
- On structural minimality of optimal supervisors for flexible manufacturing systems (Q361050) (← links)
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems (Q540197) (← links)
- Deadlock and liveness characterization for a class of generalized Petri nets (Q780961) (← links)
- Control of safe ordinary Petri nets using unfolding (Q816699) (← links)
- Supervision based on place invariants: a survey (Q858151) (← links)
- Liveness of an extended S\(^{3}\)PR (Q976266) (← links)
- A modular control design method for a flexible manufacturing cell including error handling (Q1028667) (← links)
- Deadlock prevention policy with behavioral optimality or suboptimality achieved by the redundancy identification of constraints and the rearrangement of monitors (Q1723403) (← links)
- On liveness and boundedness of asymmetric choice nets (Q1884933) (← links)
- Robust deadlock control of automated manufacturing systems with multiple unreliable resources (Q2004755) (← links)
- Polynomial-complexity robust deadlock controllers for a class of automated manufacturing systems with unreliable resources using Petri nets (Q2023184) (← links)
- Editorial: Deadlock analysis and control in resource allocation systems (Q2279724) (← links)
- A novel method for deadlock prevention of AMS by using resource-oriented Petri nets (Q2279726) (← 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)
- Deadlock recovery for flexible manufacturing systems modeled with Petri nets (Q2292945) (← links)
- Petri net representation and reachability analysis of 0--1 integer linear programming problems (Q2293169) (← links)
- Computation of strict minimal siphons in a class of Petri nets based on problem decomposition (Q2293269) (← links)
- An efficient siphon-based deadlock prevention policy for a class of generalized Petri nets (Q2314733) (← links)
- A multistep look-ahead deadlock avoidance policy for automated manufacturing systems (Q2314759) (← links)
- Mixed integer programming-based liveness test for FMS with full routing flexibility (Q2336334) (← links)
- An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming (Q2377377) (← links)
- Concurrency bugs in multithreaded software: modeling and analysis using Petri nets (Q2393141) (← links)
- Robustness of deadlock control for a class of Petri nets with unreliable resources (Q2446458) (← links)
- Elementary-Siphon-Based Control Policy for Flexible Manufacturing Systems with Partial Observability and Controllability of Transitions (Q2789927) (← links)
- New Controllability Condition for Siphons in Ws<sup>3</sup>PR Nets (Q2789998) (← links)
- Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait (Q2798480) (← links)
- Robustness analysis of non-ordinary Petri nets for flexible assembly/disassembly processes based on structural decomposition (Q3015154) (← links)
- On deadlock control for a class of generalised Petri net models of flexible manufacturing systems (Q3055275) (← links)
- Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming (Q3058342) (← links)
- Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming (Q3063811) (← links)
- Multi-agent negotiation strategies utilizing heuristics for the flow of AGVs (Q3432700) (← links)
- Resource Allocation Systems: Some Complexity Results on the S4PR Class (Q3613079) (← links)
- Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs (Q4575107) (← links)
- Robustness analysis of non-ordinary Petri nets for flexible assembly systems (Q4932806) (← links)
- A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets (Q5026749) (← links)
- Maximally Permissive Petri Net Supervisors for Flexible Manufacturing Systems with Uncontrollable and Unobservable Transitions (Q5177180) (← links)
- Extended Elementary Siphons and Their Application to Liveness‐Enforcement of Generalized <scp>P</scp>etri Nets (Q5177194) (← links)
- Necessary and sufficient liveness condition of GS<sup>3</sup>PR Petri nets (Q5252903) (← links)
- Structure reduction of liveness‐enforcing Petri nets using mixed integer programming (Q5416931) (← links)
- A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models (Q5745696) (← links)