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

摘要：

　　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.

关键词： Deadlock avoidance,Petri Nets,Distributed System,Reachability graph

作者: LIU Bowen

作者单位: School of Computer Science and Technology,University of Science and Technology of China Hefei, China

会议类型: 国际会议

会议名称: 2015 International Conference on Mechanical, Electronics and Information Technology Engineering(ICMITE2015)(2015机械、电子与信息技术工程国际会议)

会议地点: 重庆

会议语种:英文

页码: 575-580

在线出版日期: 2015-03-21（万方平台首次上网日期，不代表论文的发表时间）