Polynomial-complexity robust deadlock controllers for a class of automated manufacturing systems with unreliable resources using Petri nets

DOI10.1016/j.ins.2020.05.007zbMath1461.93346OpenAlexW3022200380MaRDI QIDQ2023184

Yanyan Li

Publication date: 3 May 2021

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2020.05.007

zbMATH Keywords

Petri netsdiscrete event systemsautomated manufacturing systems (AMSs)robust deadlock controlunreliable resources

Mathematics Subject Classification ID

Sensitivity (robustness) (93B35) Automated systems (robots, etc.) in control theory (93C85) Discrete event control/observation systems (93C65) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Cites Work

• Unnamed Item
• Robustness analysis of holonic assembly/disassembly processes with Petri nets
• Robustness of deadlock avoidance algorithms for sequential processes.
• Robust deadlock control for automated manufacturing systems with an unreliable resource
• Two-stage design method of robust deadlock control for automated manufacturing systems with a type of unreliable resources
• A novel method for deadlock prevention of AMS by using resource-oriented Petri nets
• Robustness of deadlock control for a class of Petri nets with unreliable resources
• Deadlock prevention policy based on Petri nets and siphons
• Robustness analysis of non-ordinary Petri nets for flexible assembly/disassembly processes based on structural decomposition
• Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems
• Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
• Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case

This page was built for publication: Polynomial-complexity robust deadlock controllers for a class of automated manufacturing systems with unreliable resources using Petri nets