| 含有不可控变迁的Petri网死锁避免策略 |
| |
| 引用本文： | 吴国凤,胡德启,安磊,郑礼良. 含有不可控变迁的Petri网死锁避免策略[J]. 合肥工业大学学报(自然科学版), 2012, 35(4): 472-475,535 |
| |
| 作者姓名： | 吴国凤 胡德启 安磊 郑礼良 |
| |
| 作者单位： | 合肥工业大学 计算机与信息学院,安徽 合肥,230009 |
| |
| 基金项目： | 国家自然科学基金-广东联合基金重点资助项目 |
| |
| 摘 要： | 文章针对Petri网建模的并发系统中的死锁问题,利用Petri网可达树分析方法检测系统死锁的存在,结合Petri网控制器的设计来达到预防和避免死锁的目的;提出了一种新的约束设计思想,进行控制器设计,使得系统不会出现死锁;更进一步地考虑到控制器设计过程中存在不可控变迁的情况下系统避免死锁的设计问题。
|
| 关 键 词： | Petri网 控制器 混合约束 死锁 |
Avoiding deadlock with uncontrollable transition in Petri net |
| |
| WU Guo-feng , HU De-qi , AN Lei , ZHENG Li-liang. Avoiding deadlock with uncontrollable transition in Petri net[J]. Journal of Hefei University of Technology(Natural Science), 2012, 35(4): 472-475,535 |
| |
| Authors: | WU Guo-feng HU De-qi AN Lei ZHENG Li-liang |
| |
| Affiliation: | (School 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 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 circumstance of the uncontrollable transition with the design of Petri net controller is studied. |
| |
| Keywords: | Petri net controller mixed constraint deadlock |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
