Strict Minimal Siphon-Based Colored Petri Net Supervisor Synthesis for Automated Manufacturing Systems With Unreliable Resources
Citations Over TimeTop 10% of 2020 papers
Abstract
Various deadlock control policies for automated manufacturing systems with reliable and shared resources have been developed, based on Petri nets. In practical applications, a resource may be unreliable. Thus, the deadlock control policies proposed in previous studies are not applicable to such applications. This paper proposes a two-step robust deadlock control strategy for systems with unreliable and shared resources. In the first step, a live (deadlock-free) controlled system that does not consider the failure of resources is derived by using strict minimal siphon control. The second step deals with deadlock control issues caused by the failures of the resources. Considering all resource failures, a common recovery subnet based on colored Petri nets is proposed for all resource failures in the Petri net model. The recovery subnet is added to the derived system at the first step to make the system reliable. The proposed method has been tested using an automated manufacturing system deployed at King Saud University.
Related Papers
- → Design of deadlock prevention supervisors using Petri nets(2006)68 cited
- → Siphon extraction for deadlock control in flexible manufacturing systems by using Petri nets(2011)23 cited
- → A Siphon-based Deadlock Prevention Policy for a Class of Petri Nets - S3PMR(2008)2 cited
- Iterative deadlock prevention in automated manufacturing systems(2008)