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

【文件属性】：

文件名称：含有不可控变迁的Petri网死锁避免策略 (2012年)

文件大小：543KB

文件格式：PDF

更新时间：2024-05-14 06:13:50

自然科学 论文

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