Robust Deadlock Control for Automated Manufacturing Systems Based on the Max-Controllability of Siphons
Robust Deadlock Control for Automated Manufacturing Systems Based on the Max-Controllability of Siphons
复制标题
DOI：
10.1109/access.2019.2924021
复制
发表时间：
2019
期刊：
影响因子：
3.9
通讯作者：
Gaiyun Liu;Lingchun Zhang;Yuting Liu;Yufeng Chen;Zhiwu Li;N. Wu
中科院分区：
文献类型：
--
作者：
Gaiyun Liu;Lingchun Zhang;Yuting Liu;Yufeng Chen;Zhiwu Li;N. Wu
在Petri网框架下，针对自动化制造系统（AMSs）提出了多种不考虑不可靠资源的死锁控制策略。然而，除了死锁之外，资源故障问题也可能导致系统在现实世界中崩溃。考虑一类不可靠的GS3PR (U-GS3PR)，提出了一种具有资源的简单顺序过程广义系统（GS3PR）的死锁控制方法。在Petri网模型中，恢复子网用于描述资源不可靠故障及其恢复过程。首先，我们计算GS3PR网络中的所有严格最小虹吸（sms）。其次，利用虹吸管最大可控性的概念，在每条短信中增加一个监视器。然而，当考虑到资源不可靠的情况下，在其作业场所增加回收网时，网失去了活力。然后，利用约束集的概念，在恢复子网的过渡和原始监视器之间添加相关弧线。最后，根据虹吸管的最大可控性，设计了一种鲁棒死锁控制器。
There have been a variety of deadlock control strategies proposed for automated manufacturing systems (AMSs) without taking unreliable resources into account in the framework of Petri nets. However, in addition to deadlocks, resource malfunction problems may also arise to make a system collapse in the real world. This paper develops a new deadlock control method for a generalized system of simple sequential processes with resources (GS3PR), where a class of unreliable GS3PR (U-GS3PR) is considered. Recovery subnets are used to describe an unreliable resource failure and its recovery process in a Petri net model. First, we compute all the strict minimal siphons (SMSs) in a GS3PR net. Second, with the concept of max-controllability of siphons, a monitor is added to each SMS. However, the net loses liveness when unreliable resources are taken into consideration with recovery nets being added for their operation places. Then, by using the concept of constraint set, we add related arcs between the transitions in recovery subnets and original monitors. Finally, a robust deadlock controller is designed for the AMSs according to the max-controllability of siphons.