Elementary Siphons of Petri Nets and Deadlock Control in FMS

Mowafak Hassan Abdul-Hussin

Central Technical Information’s & Communications, University of Technology, Baghdad, Iraq.

DOI: 10.4236/jcc.2015.37001                

Abstract

For responsiveness, in the Petri nets theory framework deadlock prevention policies based elementary siphons control are often utilized to deal with deadlocks caused by the sharing of resources in flexible manufacturing system (FMS) which is developing the theory of efficient strict minimal siphons of an S3PR. Analyzer of Petri net models and their P-invariant analysis, and deadlock control are presented as tools for modelling, efficiency structure analysis, control, and investigation of the FMSs when different policies can be implemented for the deadlock prevention. We are to show an effective deadlock prevention policy of a special class of Petri nets namely elementary siphons. As well, both structural analysis and reachability graph analysis and simulation are used for analysis and control of Petri nets. This work is successfully applied Petri nets to deadlock analysis using the concept of elementary siphons, for design of supervisors of some supervisory control problems of FMS and simulation of Petri net tool with MATLAB.

Keywords

Deadlock Prevention, Siphon, Petri Net, FMSs, PN-Toolbox V. 2.3, S³PR

Conflicts of Interest

The authors declare no conflicts of interest.

References

[1]	Abdul-Hussin, M. (2015) Synchronization Competitive Processes of Flexible Manufacturing Systems Using Siphons Petri Net. Proceedings of IEEE the 5th National Symposium on Information Technology: Towards New Smart World 2015, Human-Robot Interaction, Riyadh, 16 February 2015, 6 p.
[2]	Abdul-Hussin, M.H. (2015) A Structural Analysis of Petri Nets-Based Siphons Supervisors of Flexible Manufacturing Systems. Proceedings of IEEE-UKSim-AMSS, 17th International Conference on Computer Modelling and Simulation, Cambridge University, (Emmanuel College), Cambridge, March 2015, 235-241.http://uksim.info/uksim2015/data/8713a235.pdf
[3]	Ezpeleta. J., Colom, J.M. and Martinez, J. (1995) A Petri Net Based Deadlock Prevention Policy for Flexible Manufacturing Systems. IEEE Transactions on Robotics and Automation, 11, 173-184. http://dx.doi.org/10.1109/70.370500
[4]	Wang, S.G., Zhou, M.C. and Wu, W.H. (2015) Design of a Maximally Permissive Liveness-Enforcing Supervisor with Reduced Complexity for Automated Manufacturing Systems. Asian Journal of Control, 17, 190-201. http://dx.doi.org/10.1002/asjc.837
[5]	Li, Z.W. and Zhou, M.C. (2004) Elementary Siphons of Petri Nets and Their Application to Deadlock Prevention in Flexible Manufacturing Systems. IEEE Transactions on System Man, and Cybernetic. Part A: System and Humans, 34, 38-51. http://dx.doi.org/10.1109/TSMCA.2003.820576
[6]	Li, Z.W. and Zhou, M.C. (2008) Control of Elementary and Dependent Siphons in Petri Nets and Their Application. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 38, 133-148. http://dx.doi.org/10.1109/TSMCA.2007.909548
[7]	Li, Z.W. and Zhou, M.C. (2009) Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. Springer, London.
[8]	Huang, Y.S., Jeng, M., Xie, X. and Chung, S. (2001) Deadlock Prevention Policy Based on Petri Nets and Siphons. International Journal of Production Research, 39, 283-305. http://dx.doi.org/10.1080/00207540010002405
[9]	Huang, Y.S., Jeng, M., Xie, X.L. and Chung, D.-H. (2006) Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems. IEEE Transactions on Systems, Man and Cybernetics, Part A, 36, 1248-1256. http://dx.doi.org/10.1109/TSMCA.2006.878953
[10]	Mahulea, C., Matcovschi, M.H. and Pastravanu, O. (2003) Home Page of the Petri Net. Petri Net Toolbox with MATLAB Version 2.3. http://www.ac.tuiasi.ro/pntool