Siphon-Based Deadlock Prevention of Complex Automated Manufacturing Systems Using Generalized Petri Nets

Modern AMSs (automated manufacturing systems) on the one hand bring many benefits, but on the other hand, they are cumbersome to coordinate. AMSs consist of various subsystems (e.g., production lines) that share a finite number of resources (robots, machines, buffers, automated guided vehicles, etc.). This forces AMS designers to build flexible and decentralized systems. However, in these cases, the danger of deadlocks exists. Consequently, such a situation requires the application of advanced supervisors. One solution to the deadline problem is the application of Petri nets. This paper is motivated by AMS control based on deadlock prevention by means of ordinary Petri nets (OPNs) and generalized Petri nets (GPNs). This paper examines two areas of AMS Petri net-based model structures and presents methods of deadlock prevention. First, simpler structures of AMSs modeled by OPNs and GPNs will be investigated, and then more complex structures of AMSs modeled by the same kinds of Petri nets (PNs) will be analyzed. The siphon-based approach will be used for deadlock prevention in all of these cases. The principal results are introduced, explained, and illustrated through examples. Key results are introduced, especially in Example 1 and Example 2.