Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
复制标题
析取广义互斥约束最优Petri网控制器设计
DOI：
10.1109/tac.2015.2389313
复制
发表时间：
2015-01
影响因子：
6.8
通讯作者：
ro
中科院分区：
文献类型：
--
作者：
Ma Ziyue;Li Zhiwu;Giua Aless;ro
在本文中，定义了一种称为 OR-AND 广义互斥约束 (GMEC) 的规范，用于放置/转换网络。这种规范由几个单个 GMEC 的合取或析取组成，即要求在任何给定时间，受控系统应满足至少一组合取 GMEC。我们证明了有界 OR-AND GMEC 可以通过一个特殊的控制结构来强制执行，该控制结构由一组 AND-GMEC 监控位置加上一个确定当前活动监控位置的切换器组成。我们还表明，可以修改这种简单的控制结构以确保最大的许可性。该方法可用于 Petri 网的监督控制框架中。
In this paper, a type of specifications called OR-AND Generalized Mutual Exclusion Constraints (GMEC) for place/transition nets is defined. Such a specification consists of a disjunction of conjunction of several single GMECs, i.e, the requirement is that, at any given time, the controlled system should satisfy at least one set of conjunctive GMECs. We show that a bounded OR-AND GMEC can be enforced by a special control structure composed by a set of AND-GMEC monitor places plus a switcher that determines the current active ones. We also show that such a simple control structure can be modified to ensure maximal permissiveness. This approach can be used in the framework of supervisory control in Petri nets.
登录
查看更多内容
DOI：
10.1109/tsmca.2008.918605
发表时间：
2008-05
期刊：
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans
影响因子：
--
作者：
Zhiwu Li;Mengchu Zhou
通讯作者：
Zhiwu Li;Mengchu Zhou
DOI：
10.1109/icra.2011.5979727
发表时间：
2011-05
期刊：
2011 IEEE International Conference on Robotics and Automation
影响因子：
--
作者：
Shouguang Wang;Chengying Wang;Mengchu Zhou
通讯作者：
Shouguang Wang;Chengying Wang;Mengchu Zhou
DOI：
10.1109/tsmca.2003.820576
发表时间：
2004-01
期刊：
IEEE Trans. Syst. Man Cybern. Part A
影响因子：
--
作者：
Zhiwu Li;Mengchu Zhou
通讯作者：
Zhiwu Li;Mengchu Zhou
影响因子：
6.8
作者：
F. Basile;C. Carbone;P. Chiacchio
通讯作者：
F. Basile;C. Carbone;P. Chiacchio
DOI：
10.3182/20140514-3-fr-4046.00085
发表时间：
2014
期刊：
--
影响因子：
--
作者：
Ziyue Ma;Zhiwu Li;A. Giua
通讯作者：
Ziyue Ma;Zhiwu Li;A. Giua