Pages that link to "Item:Q2713455"
From MaRDI portal
The following pages link to Deadlock prevention policy based on Petri nets and siphons (Q2713455):
Displaying 30 items.
- On structural minimality of optimal supervisors for flexible manufacturing systems (Q361050) (← links)
- Computationally improved optimal control methodology for linear programming problems of flexible manufacturing systems (Q364321) (← links)
- Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems (Q497950) (← links)
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems (Q540197) (← links)
- Deadlock characterization and control of flexible assembly systems with Petri nets (Q680553) (← links)
- Synthesis of Petri net supervisors for FMS via redundant constraint elimination (Q900668) (← links)
- Equivalent transformation of nonlinear constraints to linear constraints in Petri nets (Q1666226) (← links)
- Deadlock prevention policy with behavioral optimality or suboptimality achieved by the redundancy identification of constraints and the rearrangement of monitors (Q1723403) (← links)
- Robust deadlock control for automated manufacturing systems with an unreliable resource (Q1991869) (← links)
- Polynomial-complexity robust deadlock controllers for a class of automated manufacturing systems with unreliable resources using Petri nets (Q2023184) (← links)
- Two-stage design method of robust deadlock control for automated manufacturing systems with a type of unreliable resources (Q2213104) (← links)
- A survey of siphons in Petri nets (Q2279728) (← links)
- Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources (Q2279729) (← 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)
- 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 estimation of distribution algorithm for scheduling problem of flexible manufacturing systems using Petri nets (Q2295184) (← links)
- One novel and optimal deadlock recovery policy for flexible manufacturing systems using iterative control transitions strategy (Q2298487) (← 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)
- Robustness of deadlock control for a class of Petri nets with unreliable resources (Q2446458) (← links)
- Design of a Maximally Permissive Liveness-enforcing Supervisor with Reduced Complexity for Automated Manufacturing Systems (Q2789909) (← links)
- Elementary-Siphon-Based Control Policy for Flexible Manufacturing Systems with Partial Observability and Controllability of Transitions (Q2789927) (← links)
- Solving the Problem of Forbidden States in Discrete Event Systems: A Novel Systematic Method for Reducing the Number of Control Places (Q2790014) (← 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)
- Coloured timed Petri net model for real-time control of automated guided vehicle systems (Q3159662) (← links)
- Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs (Q4575107) (← 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)
