A Channelized Deadlock Prevention Policy for Flexible Manufacturing Systems Using Petri Net Models

Abstract:

Deadlock prevention, deadlock detection and deadlock avoidance strategies are used to solve the deadlock problems of flexible manufacturing systems (FMSs). The conventional prevention policies were always attempt to prevent the system entering the deadlocked situation by using a few control places. On can know that one prohibits the deadlocked markings, some dead markings will be sacrificed. Therefore, the reachability states will become less than the initial net. However, our goal is to preserve all the reachability states of the initial net. Under our control policy, the deadlocks or deadlock zone will be channelized to live markings such that all the dead markings in reachability states will be conserved. Finally, an example is performed and can obtain the maximal permissiveness of a Petri net model. The other examples are all getting the same result. To our knowledge, this is the first work that employs the channelized method to prevent the deadlock problem for FMSs.

• Periodical: Advanced Materials Research (Volumes 284-286)
• Pages: 1498-1501
• DOI: https://doi.org/10.4028/www.scientific.net/AMR.284-286.1498
• Online since: July 2011
• Authors: Yi Sheng Huang, Ter Chan Row
• Keywords: Deadlock Resolution, Petri Net, State Reachability

References

[1] T. Murata, Petri nets: Properties, analysis, and applications, IEEE in Proceeding 71 (1989) 541–580.

[2] M. Uzam, An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions, int. J. ADV. Manuf. Technol., Springer-Verlag London Limited (2002).

DOI: 10.1007/s001700200014

[3] J. Ezpeleta, J. M. Colom, and J. Martinez, A Petri net based deadlock prevention policy for flexible manufacturing systems, IEEE Transaction Robot, Automat, 11 (1995) 173-184.

DOI: 10.1109/70.370500

[4] Z. W. Li and M. C. Zhou, Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems, IEEE Transaction Systems, Man and Cybernetics, Part A, System, Humans 34 (2004) 38-51.

DOI: 10.1109/tsmca.2003.820576

[5] Z. W. Li and M. C. Zhou, Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets, IEEE Transaction on Industrial Informatics 2 (2006) 313-325.

DOI: 10.1109/tii.2006.885185

[6] Z. W. Li and M. C. Zhou, On siphon computation for deadlock control in a class of Petri nets, IEEE transaction on systems, man and cybernetics, part a: systems and humans 38 (2008).

DOI: 10.1109/tsmca.2008.918605

[7] Z. W. Li, M. C. Zhou, and M. D. Jeng, A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions, IEEE transactions on automation science and engineering 5 (2008).

DOI: 10.1109/tase.2006.884674

[8] Y. S. Huang, T. H. Chung, and Y. L. Wen, Design and implementation of emulators for a real-world automated manufacturing systems using Scenario, Materials Science Forum 505-507 (2006) 1141-1146.

DOI: 10.4028/www.scientific.net/msf.505-507.1141

[9] Y. S. Huang, M. D. Jeng, X. L. Xie, and T. H. Chung, Siphon-based deadlock prevention policy for flexible manufacturing systems, IEEE Transaction Systems, Man, and Cybernetics, Part A, System, Humans 36 (2006) 2152-2160.

DOI: 10.1109/tsmca.2006.878953

[10] Y. S. Huang, Deadlock prevention for flexible manufacturing systems in sequence resource allocation systems, Journal of Information Science and Engineering 23 (2007) 215-231.