A New Deadlock Avoidance Policy Based on Petri Nets in Distributed System

Abstract:

Distributed system has the characteristic of high concurrency, which often leads to deadlock due to the execution of concurrent process. By applying Petri nets model can effectively solve this problem. In this paper, based on Petri nets model, we propose a new efficient deadlock avoidance policy for distributed system by using the Petri reachability graph. At last we analysis the different performance between this algorithm and the traditional method by using Matlab tool.

• Periodical: Applied Mechanics and Materials (Volume 743)
• Pages: 575-580
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.743.575
• Online since: March 2015
• Authors: B.W. Liu*
• Keywords: Deadlock Avoidance, Distributed System, Petri Nets, Reachability Graph

References

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

DOI: 10.1109/70.63273

[2] M.P. Fanti, Deadlock resolution strategy for automated manufacturing systems includeing conjunctive resource service, IEEE Trans. Syst., Man, Cybern., Part A, vol. 34, no. 1, pp.80-91, (2004).

DOI: 10.1109/tsmca.2003.822377

[3] F. Hsieh, Fault-tolerant deadlock avoidance algorithm for assembly processes, , IEEE Trans. Syst., Man, Cybern., Part A, vol. 34, no. 1, (2004).

DOI: 10.1109/tsmca.2003.820574

[4] Li Ding, Lida Dong, Deadlock prevention policies for concurrent programming based on Petri nets, Journal of Zhejiang University. vol. 39, no. 1, (2012).

[5] AHMAD F, HUANG H J. Petri net modeling and deadlock analysis of parallel manufacturing processes with shared-resources[J]. J of Systems and Software, 2010, 83(4): 675-688.

DOI: 10.1016/j.jss.2009.11.705

[6] Chun Q Li, Sui Y, Chun L C. Analysis of distributed system deadlock in the Petri net[J]. Microcomputer Development, vol. 13, no. 5. (2003).