| 引用本文: | 徐姗姗,董利达,朱丹,朱承丞.一类活性Petri网控制器的冗余检测及结构简化[J].控制理论与应用,2013,30(6):673~682.[点击复制] |
| XU Shan-shan,DONG Li-da,ZHU Dan,ZHU Cheng-cheng.Redundancy detection and structure simplification for a class of liveness-enforcing Petri net supervisors[J].Control Theory and Technology,2013,30(6):673~682.[点击复制] |
|
| 一类活性Petri网控制器的冗余检测及结构简化 |
| Redundancy detection and structure simplification for a class of liveness-enforcing Petri net supervisors |
| 摘要点击 2531 全文点击 2566 投稿时间：2012-08-17 修订日期：2013-01-20 |
| 查看全文 查看/发表评论 下载PDF阅读器 |
| DOI编号 10.7641/CTA.2013.20881 |
| 2013,30(6):673-682 |
| 中文关键词 Petri网 柔性制造系统 信标 死锁预防 整数规划 |
| 英文关键词 Petri net flexible manufacturing system (FMS) siphon deadlock prevention integer programming |
| 基金项目 国家自然科学基金资助项目(61071062); 浙江省自然科学基金资助项目(Y12F02030). |
|
| 中文摘要 |
| S^4R(systems of sequential systems with shared resources)网是分析和解决柔性制造系统死锁现象常用的一种重要的Petri网子类模型, 现有的基于S^4R网的死锁预防方法通常采用对部分或者全部严格极小信标添加控制库所来实现. 此类方法的不足在于得到的活性S^4R控制器中往往存在冗余控制库所. 针对已为网中每一个严格极小信标都逐一添加了控制库所和相关连接弧的活性S^4R控制器, 本文提出并设计了一种基于整数规划技术的冗余检测及结构简化方法, 由此得到结构更简单、行为允许度更高的活性S^4R控制器. 该方法的核心思想是: 如果网中已经存在一个P–不变式使得某个严格极小信标满足最大受控条件, 那么为该严格极小信标添加的控制库所就是冗余的. 由于该方法无需进行Petri网的可达性分析, 避免了状态组合爆炸问题, 因此具有较高的可行性和计算效率. 最后用实验验证了本文方法的正确性和有效性. |
| 英文摘要 |
| S^4R (systems of sequential systems with shared resources) is an important subclass of Petri nets used in analyzing and solving deadlock problem of flexible manufacturing systems (FMS). Control places and related arcs are usually added for all or some of the strictly minimal siphons (SMS) by the existing S^4R-oriented deadlock prevention methods. The defect of such methods is that there are redundant control places in the generated liveness-enforcing supervisors. For a liveness-enforcing S^4R supervisor in which each SMS has been controlled by its control place, this paper proposes an integer-programming-technique-based method to detect the redundancy for control places and simplify the structure for the system. Then, it can produce the liveness-enforcing S^4R supervisor with simpler structure and more permissible behaviors. The main idea is that if there is already a P-invariant in the net which makes an SMS max-controlled, then the control place added for this SMS is redundant. Because this method doesn’t need the reachability analysis, it can avoid the state explosion problem, and therefore it brings about high feasibility and computational efficiency. Finally, the experiments validate the correctness and feasibility of the proposed method. |