An Iterative Synthesis Approach to Petri Net-Based Deadlock Prevention Policy for Flexible Manufacturing Systems
An Iterative Synthesis Approach to Petri Net-Based Deadlock Prevention Policy for Flexible Manufacturing Systems
复制标题
DOI：
10.1109/tsmca.2007.893484
复制
发表时间：
2007-05
期刊：
影响因子：
--
通讯作者：
Murat Uzam;Mengchu Zhou
中科院分区：
文献类型：
--
作者：
Murat Uzam;Mengchu Zhou
提出了一种基于Petri网的柔性制造系统（FMS）死锁预防策略的迭代综合方法。给定FMS容易发生死锁的PN模型（PNM），目标是合成一个活的受控PNM。它用于FMS控制保证了其无死锁操作和高性能的资源利用率和系统吞吐量。所提出的方法是一个迭代的方法。在每次迭代中，从给定PNM的可达性图中挑出第一次遇到的坏标记。目的是防止通过PN的位置不变式达到该标记。一个完善的基于不变量的控制方法是用来获得一个控制的地方。这个过程一直进行到网络模型变为活动状态。所提出的方法是普遍适用的，易于使用，有效的，和直接的，虽然其离线计算是指数的复杂性。通过两个柔性制造系统的实例验证了该方法的有效性和适用性
This paper proposes an iterative synthesis approach to Petri net (PN)-based deadlock prevention policy for flexible manufacturing systems (FMS). Given the PN model (PNM) of an FMS prone to deadlock, the goal is to synthesize a live controlled PNM. Its use for FMS control guarantees its deadlock-free operation and high performance in terms of resource utilization and system throughput. The proposed method is an iterative approach. At each iteration, a first-met bad marking is singled out from the reachability graph of a given PNM. The objective is to prevent this marking from being reached via a place invariant of the PN. A well-established invariant-based control method is used to derive a control place. This process is carried out until the net model becomes live. The proposed method is generally applicable, easy to use, effective, and straightforward although its off-line computation is of exponential complexity. Two FMS are used to show its effectiveness and applicability