An effective algorithm to find elementary siphons in a class of Petri nets
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Automatic modeling for performance evaluation of inventory and outbound distribution
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
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 analysis of Petri nets for assembly/disassembly processes with unreliable resources
Automatica (Journal of IFAC)
Robustness of deadlock control for a class of Petri nets with unreliable resources
Information Sciences: an International Journal
Development of context-aware workflow systems based on Petri Net Markup Language
Computer Standards & Interfaces
Hi-index | 0.00 |
We propose a controlled assembly Petri net with alternative route (CAPN-AR) model for a class of flexible assembly processes with alternative routes and unreliable resources. Alternative routes significantly enhance the reliability through the routing flexibility of the system. It is not required for a CAPN-AR to be live to maintain production. For this reason, we propose the concept of persistent production for the CAPN-AR. However, alternative routes also add complexity to the analysis of the systems. As the PNs grow rapidly with the scale of the problem, an existing reachability-tree method is feasible only for small nets. We propose an analysis method that can scale with the problems based on structural decomposition of the CAPN-AR. We study the conditions for persistent production, propose a deadlock avoidance algorithm with polynomial complexity for CAPN-AR, and access its robustness property with respect to resource failures.