含有不可控变迁的Petri网死锁避免策略.pdfVIP

合肥工业大学学报(自然科学版) Vo l. 35 No.4 第 35 卷第 4 期 2012 年4 月 JOURNAL OF HEFEI UNlVERSITY QF TECHNOLQGY Apr. 2012 Doi: 10. 3969/j. issn. 1003-5060. 2012. 04. 009 含有不可控变迁的 Petri 网死锁避免策略 吴国凤， 胡德启， 安磊， 郑礼良 {合肥E业大学计算机与信息学院，安徽合肥 230009) 摘 要:文章针对Petri 网建模的并发系统中的死锁问题，利用 Petri 网可达树分析方法枪测系统死锁的存在， 结合 Petri 网控制器的设计来达到顽防和避免死锁的目的z 提出了一种新的约束设计思想.进行控制器设计， 使得系统不会出现死锁;更进一步地考虑到控制器设计过程中存在不可控变迁的情况下系统避免死锁的设 计问题。 关键词:Petri 网;控制器;混合约束z 死锁 中图分类号:TP399 文献标识码:A 文章编号:1003-5060(2012)04-0472-05 Avoiding deadlock with uncontrollable transition in Petri net WUGuc卜fe吨， HU De-qi , AN Lei , ZHENG Li-liang (Sch∞1 of Computer and Information. Hefei University of Technology , Hefei 230009 , China) Abstract: To solve the deadlock problem of the distributed system in Petri net , this paper proposes a method to detect the deadlock by the analysis of the reachable marking tree and prevent it by the de- sign of the Petri net controller. And a new view of mixed constraints is presented for the controller design. Furthermore , how to avoid deadlock in the circumstance of the uncontrollable transition with the design of Petri net controller is studied. Key words:Petri net; controller; mixed constraint; deadlock 和研究 Petri 网建模的并发系统中的死锁问题基 并发进程的死锁问题是分布式系统中的一个 重要研究课题[1] 。在多个井发进程系统中，如果 础上.利用 Petri 网可达树分析方法检测系统死 每个进程持有某种资源，同时又等待其他进程所 锁的存在，设计出一种可以避免死锁的约束条件， 持有的各种资源，此时，每个进程都持有一定资源 结合 Petri 网控制器的设计来达到预防和避免死 锁的目的[540 但又都无法推进，这样就形成了死锁[巧，这样的死 锁在分布式系统中时有出现，因此，发现租提出好 1 基本知识 的死锁检测、预防和解除方法尤为重要。