Modelling and Analysing Deadlock in Flexible Manufacturing System using Timed Petri Net

Flexible manufacturing system (FMS) has several advantages compared to conventional systems such as higher machine utilization, higher efficiency, less inventory, and less production time. On the other hand, FMS is expensive and complicated. One of the main problems that may happen is the deadlock. Deadlock is a case that happens when one operation or more are unable to complete their tasks because of waiting of resources that are used by other processes. This may occur due to inappropriate sharing of the resources or improper resource allocation logic which may lead to deadlock occurrence due to the complexity of assigning shared resources to different tasks in an efficient way. One of the most effective tools to model and detect the deadlocks is the petri net. In this research the Matlab software has been used to detect the deadlock in two parallel lines with one shared machines. The analysis shows that deadlock exists at transition with high utilization and place with high waiting time

[1]  Y. Esra Albayrak,et al.  Petri net based decision system modeling in real-time scheduling and control of flexible automotive manufacturing systems , 2015, Comput. Ind. Eng..

[2]  T. F. Leibfried.  A deadlock detection and recovery algorithm using the formalism of a directed graph matrix , 1989, OPSR.

[3]  MengChu Zhou,et al.  Deadlock Control of Automated Manufacturing Systems Based on Petri Nets—A Literature Review , 2012, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[4]  MengChu Zhou,et al.  Deadlock-Free Genetic Scheduling Algorithm for Automated Manufacturing Systems Based on Deadlock Control Policy , 2012, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[5]  Barry Render,et al.  Operations Management , 2019, CCSP (ISC)2 Certified Cloud Security Professional Official Study Guide, 2nd Edition.

[6]  MengChu Zhou,et al.  Deadlock control methods in automated manufacturing systems , 2004, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[7]  Ali Yalcin,et al.  Deadlock avoidance in flexible manufacturing systems using finite automata , 2000, IEEE Trans. Robotics Autom..

[8]  Hassane Alla,et al.  Discrete, continuous, and hybrid Petri Nets , 2004 .

[9]  Miquel Angel Piera Eroles,et al.  Deadlock-Free Scheduling Method for Flexible Manufacturing Systems Based on Timed Colored Petri Nets and Anytime Heuristic Search , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[10]  Feng Lin,et al.  An optimal deadlock avoidance policy for manufacturing systems with flexible operation sequence and flexible routing , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[11]  Héctor Kaschel,et al.  Importance of Flexibility in Manufacturing Systems , 2006, Int. J. Comput. Commun. Control.

[12]  H. J. Warnecke,et al.  Flexible manufacturing systems , 1985 .

[13]  Charles R. McLean,et al.  Flexible manufacturing systems for mass customisation manufacturing , 2006 .