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

Avoiding deadlock with uncontrollable transition in Petri net

作　　者：吴国凤[1] 胡德启[1] 安磊[1] 郑礼良[1] 

机构地区：[1]合肥工业大学计算机与信息学院,安徽合肥230009

出　　处：《合肥工业大学学报（自然科学版）》2012年第4期472-475,535,共5页Journal of Hefei University of Technology：Natural Science

基　　金：国家自然科学基金-广东联合基金重点资助项目(U1135003)

摘　　要：文章针对Petri网建模的并发系统中的死锁问题,利用Petri网可达树分析方法检测系统死锁的存在,结合Petri网控制器的设计来达到预防和避免死锁的目的;提出了一种新的约束设计思想,进行控制器设计,使得系统不会出现死锁;更进一步地考虑到控制器设计过程中存在不可控变迁的情况下系统避免死锁的设计问题。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 design 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 the design of Petri net controller is studied. circumstance of the uncontrollable transition with

关 键 词：PETRI网 控制器 混合约束 死锁 

分 类 号：TP399[自动化与计算机技术—计算机应用技术]