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

作     者：吴国凤 胡德启 安磊 郑礼良 WU Guo-feng;HU De-qi;AN Lei;ZHENG Li-liang

作者机构：合肥工业大学计算机与信息学院安徽合肥230009 

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

出 版 物：《合肥工业大学学报（自然科学版）》 (Journal of Hefei University of Technology：Natural Science)

年 卷 期：2012年第35卷第4期

页      码：472-475,535页

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

主 题 词：Petri网 控制器 混合约束 死锁 

学科分类：081203[081203] 08[工学] 0835[0835] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1003-5060.2012.04.009

馆 藏 号：203130320...