An Efficient Deadlock Avoidance Policy for FMS Using ROPN

Abstract:

This article shows a composed method for modeling the concurrent execution of working processes in flexible manufacturing systems (FMS) by a special class of Petri nets named Resource Oriented Petri nets (ROPN). Essentially, the type of net comes from the availability of system resources. The analysis of ROPN is used to characterize deadlock situations in terms of full markings for certain structure named PPC. For the sake of preventing the system from deadlocks, a policy is proposed based on a series of restrictions for resource allocation, without considering the presence of unmarked siphons in Process Oriented Petri net (POPN). Finally, a control strategy of deadlock avoidance is designed for ROPN, which is better than other control policy.

• Periodical: Advanced Materials Research (Volumes 998-999)
• Pages: 751-754
• DOI: https://doi.org/10.4028/www.scientific.net/AMR.998-999.751
• Online since: July 2014
• Authors: Yu Ming Zhao*, Xiang Ju Chai, Li Zhen Zhao
• Keywords: Deadlock, Inequality Constraint, Petri Net, PPC, ROPN

References

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

DOI: 10.1109/tsmca.2003.820576

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

DOI: 10.1109/70.370500

[3] T. Murata, Petri nets: properties, analysis, and applications, Proc. IEEE, vol. 77, no. 4. Apr, 1989, pp.541-580.

DOI: 10.1109/5.24143

[4] W, Ressig, Petri Net&, Springer-Verlag, Berlin; New York, (1985).

[5] K. Barkaoui and I. B. Abdallah, A deadlock prevention method for a class of FMS, In Proc. IEEE lnt. Conf, Syst, Man, Cybern., 1995, Vancouver, BC, Canada, pp.4119-4124.

[6] R. S. Sreenivas, On the existence of supervisory policies that enforce liveness in discrete -event dynamic systems modeled by controlled Petri nets, IEEE Trans. Automat, Control, vo1. 42, no. 7. Jul, 1997, pp.928-945.

DOI: 10.1109/9.599972

[7] E. W. Dijsktra, Co-operating Sequential Processes. Programming Languages, F. Genuys (Ed. ), Academic Press, (1965).

[8] F. Triw, I. M. Colom and J. Ezpeleta, Some improvements to the Banker's algorithm based on the process structure. in Proc. BEE Int. Conf , Robot, Automat., 2000, ICRA '00, pp.2853-2858.

[9] Z. A. Bd and B. H. Krogh, Deadlock avoidance in flexible manufacturing system with concurrently competing process flows, IEEE Trans, Robot. Automat, vol 6, no. 6, DEC. 1990, pp.724-734.

DOI: 10.1109/70.63273

[10] F. S. Hsieh and S. C. Chang, Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems, IEEE Trans. Robot. Automat, vol. 10, no. 2, Apr., 1994, pp.196-209.

DOI: 10.1109/70.282544

[11] K. Y. Xing, B. S. Hu and H. X. Chen, Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources, " IEEE Trans. Automat. Control. vo1. 41, no. 2, Feb., 1996, pp.289-295.

DOI: 10.1109/9.481550

[12] Wu N. Q, M. C. Zhou, and G. Hu. 2007. On the Petri net modeling of automated manufacturing systems. In Proceedings of 2007 IEEE International Conference on Networking, Sensing and Control, London, 228-33.

DOI: 10.1109/icnsc.2007.372782