10.3969/j.issn.1001-2400.2009.05.026
一种时延Petri网的死锁预防方法
针对时延Petri网的死锁预防问题,提出了一个有效的预防控制算法,将信标控制死锁预防的方法应用到时延Petri网中,不需要列举全部可达状态的情况下实现死锁预防,而且实现最后的控制器为活.首先将时延Petri网拉伸为拉伸时延Petri网(SPN),使得不改变原来系统性能的情况下,拉伸后的网所有变迁均为单位时延,然后针对SPN忽略时间因素,采用信标控制方法,根据所得标识约束添加控制库所,使所有严格极小信标均为P-不变式可控,最后还原时延Petri网,得到活的、结构简单的Petri网监督控制器.
柔性制造系统、时延Petri网、死锁预防
36
TP278(自动化技术及设备)
国家自然科学基金资助60474018,60773001;高等学校博士点基金资助20070701013;国家部委预研基金资助J4.3.6
2009-12-04（万方平台首次上网日期，不代表论文的发表时间）
共7页
902-908
