国家部委预研基金(J436)
- 作品数：1 被引量：0H指数：0
- 相关作者：郭金维李志武更多>>
- 相关机构：西安电子科技大学更多>>
- 发文基金：国家教育部博士点基金国家部委预研基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种时延Petri网的死锁预防方法
- 2009年
- 针对时延Petri网的死锁预防问题,提出了一个有效的预防控制算法,将信标控制死锁预防的方法应用到时延Petri网中,不需要列举全部可达状态的情况下实现死锁预防,而且实现最后的控制器为活.首先将时延Petri网拉伸为拉伸时延Petri网(SPN),使得不改变原来系统性能的情况下,拉伸后的网所有变迁均为单位时延,然后针对SPN忽略时间因素,采用信标控制方法,根据所得标识约束添加控制库所,使所有严格极小信标均为P-不变式可控,最后还原时延Petri网,得到活的、结构简单的Petri网监督控制器.
- 郭金维李志武
- 关键词：柔性制造系统时延PETRI网死锁预防
