Robustness of deadlock control for a class of Petri nets with unreliable resources
From MaRDI portal
Publication:2446458
Recommendations
- Robust deadlock control for automated manufacturing systems with an unreliable resource
- Polynomial-complexity robust deadlock controllers for a class of automated manufacturing systems with unreliable resources using Petri nets
- Robust deadlock control of automated manufacturing systems with multiple unreliable resources
- Two-stage design method of robust deadlock control for automated manufacturing systems with a type of unreliable resources
- Robust deadlock avoidance control for AMSs with assembly operations embedded in flexible routes using Petri nets
Cites work
- A system theory view of Petri nets
- Checking system boundedness using ordinary differential equations
- Collaborative reconfiguration mechanism for holonic manufacturing systems
- Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
- Deadlock prevention policy based on Petri nets and siphons
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
- scientific article; zbMATH DE number 1302043 (Why is no real title available?)
- On liveness and controlled siphons in Petri nets
- Robustness analysis of holonic assembly/disassembly processes with Petri nets
- Robustness analysis of non-ordinary Petri nets for flexible assembly systems
- Robustness analysis of Petri nets for assembly/disassembly processes with unreliable resources
- Robustness of deadlock avoidance algorithms for sequential processes.
Cited in
(22)- Comparison and evaluation of deadlock prevention methods for different size automated manufacturing systems
- Robust deadlock control for automated manufacturing systems with an unreliable resource
- Robust deadlock control of automated manufacturing systems with multiple unreliable resources
- Polynomial-complexity robust deadlock controllers for a class of automated manufacturing systems with unreliable resources using Petri nets
- Resource failure and buffer space allocation control for automated manufacturing systems
- Two-stage design method of robust deadlock control for automated manufacturing systems with a type of unreliable resources
- Editorial: Deadlock analysis and control in resource allocation systems
- A novel method for deadlock prevention of AMS by using resource-oriented Petri nets
- A survey of siphons in Petri nets
- Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs
- Sequential composition of linear systems' clans
- Robustness analysis of non-ordinary Petri nets for flexible assembly/disassembly processes based on structural decomposition
- Robust control reconfiguration of resource allocation systems with Petri nets and integer programming
- Control of deadlock and blocking for production systems with unreliable workstations
- Necessary and sufficient liveness condition of GS3PR Petri nets
- A best deadlock control for S\(^{3}\)PMR to reach all states
- Adaptive supervisory control for a class of Petri nets with bimodal transitions
- Robust supervisory control for automated manufacturing systems with unreliable resources by analyzing reachable state space
- Adaptive supervisory control for automated manufacturing systems using borrowed-buffer slots
- Robust liveness enforcement of Petri nets with uncontrollable and unobservable transitions based on structural analysis
- Deadlock and blockage control for manufacturing systems with failure-prone workstations
- Robustness analysis of Petri nets for assembly/disassembly processes with unreliable resources
This page was built for publication: Robustness of deadlock control for a class of Petri nets with unreliable resources
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2446458)
