Synthesis of feedback control logic for discrete manufacturing systems
Automatica (Journal of IFAC)
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
CAST Tools for Automatic FMS-Dynamics Models Synthesis
EUROCAST '91 Proceedings of the A Selection of Papers from the Second International Workshop on Computer Aided Systems Theory
Supervisory control for deadlock avoidance in compound processes
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Fault-tolerant deadlock avoidance algorithm for assembly processes
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Analysis of Flexible Assembly Processes Based on Structural Decomposition of Petri Nets
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Robustness of deadlock avoidance algorithms for sequential processes
Automatica (Journal of IFAC)
Context-aware workflow management based on formal knowledge representation models
ICCCI'10 Proceedings of the Second international conference on Computational collective intelligence: technologies and applications - Volume Part II
Robustness of deadlock control for a class of Petri nets with unreliable resources
Information Sciences: an International Journal
| Hi-index | 22.14 |
In most application of Petri nets, resources are modeled as tokens. Unreliable resources pose challenges as existing Petri net theory is deficient in analyzing the impacts of the perturbation due to resource failures. One strategy to analyze a perturbed system is to study its robustness with respect to uncertainties. In this paper, we study the robustness of a class of controlled Petri nets called controlled assembly/disassembly Petri net (CADPN) for assembly/disassembly processes with unreliable resources. The number of tokens in CADPN is not conservative to capture the effects of resource failures. Based on the CADPN model, we characterize different types of tolerable resource failures allowed for a nominal marking of a live CADPN. We show that liveness of a CADPN can still be preserved under tolerable resource failures.