A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
复制标题
一类广义 Petri 网的参数化活性和比率执行监督器
DOI：
10.1016/j.automatica.2013.07.023
复制
发表时间：
2013-11
期刊：
影响因子：
6.4
通讯作者：
Zhou MengChu
中科院分区：
文献类型：
--
作者：
Liu Ding;Li ZhiWu;Zhou MengChu
提出了一种基于广义Petri网的柔性制造系统监控器综合方法。首先提出了资源利用率的概念来描述操作对资源的占用程度。接下来，从RU比的角度研究了一个固有的活结构，其特征在于弧权重和初始标记之间的特殊数值关系。在此基础上，基于生命结构的类属性，提出了一种新的监督者类型。这样的监督器可以实现所考虑的系统的活性增强和资源使用率增强的目的。给定一个工厂，它是很容易确定的拓扑结构，这样的监督和监控器的数量是有限的，在工厂中使用的资源。此外，当对象模型的配置发生变化时，只需调整控制参数就可以重用管理器，而无需重新安排连接。这使得它足够简单和直观，可供工业从业者使用。它追求的不是最大的行为宽容，而是对有限而有价值的共享资源的精确使用。几个例子来说明所提出的方法。
The work proposes a synthesis method of supervisors for flexible manufacturing systems modeled by a class of generalized Petri nets. A concept of resource usage ratios (RU-ratios) is first presented to describe the occupation degree of a resource by an operation. Next, an intrinsically live structure characterized by a special numerical relationship between arc-weights and initial markings is investigated from a perspective of RU-ratios. Then, a new kind of supervisors is synthesized on the ground of the generic nature of the intrinsically live structure. Such a supervisor can achieve the purposes of both liveness-enforcement and resource usage ratio-enforcement of the system under consideration. Given a plant, it is easy to determine the topological structure of such a supervisor and the number of monitors is bounded by that of resources used in the plant. In addition, when the configuration of the plant model changes, the supervisor can be reusable through adjusting control parameters only without rearrangement of connections. This makes it easy enough and intuitive to be used by industrial practitioners. Instead of maximal behavioral permissiveness, it pursues a precise usage of shared resources that are limited and valuable. Several examples are used to illustrate the proposed methods.
登录
查看更多内容
用于自动化制造系统死锁控制的资源转换电路和虹吸管
DOI：
10.1109/tsmca.2010.2048898
发表时间：
2011
期刊：
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans
影响因子：
--
作者：
邢科义;MengChu Zhou;Feng Wang;Huixia Liu;Feng Tian
通讯作者：
Feng Tian
DOI：
10.1109/iscas.2003.1205001
发表时间：
2003-05
期刊：
Proceedings of the 2003 International Symposium on Circuits and Systems, 2003. ISCAS '03.
影响因子：
--
作者：
A. Ohta;K. Tsuji
通讯作者：
A. Ohta;K. Tsuji
DOI：
10.1007/978-1-4615-2231-7
发表时间：
1995-03
期刊：
--
影响因子：
--
作者：
Mengchu Zhou
通讯作者：
Mengchu Zhou
DOI：
10.1007/3-540-61363-3_4
发表时间：
1996-06
期刊：
--
影响因子：
--
作者：
Kamel Barkaoui;Jean-François Pradat-Peyre
通讯作者：
Kamel Barkaoui;Jean-François Pradat-Peyre
DOI：
10.1109/tsmca.2003.820576
发表时间：
2004-01
期刊：
IEEE Trans. Syst. Man Cybern. Part A
影响因子：
--
作者：
Zhiwu Li;Mengchu Zhou
通讯作者：
Zhiwu Li;Mengchu Zhou