A transformation algorithm for optimal admissible generalized mutual exclusion constraints on Petri nets with uncontrollable transitions
A transformation algorithm for optimal admissible generalized mutual exclusion constraints on Petri nets with uncontrollable transitions
复制标题
DOI：
10.1109/icra.2011.5979727
复制
发表时间：
2011-05
期刊：
影响因子：
--
通讯作者：
Shouguang Wang;Chengying Wang;Mengchu Zhou
中科院分区：
文献类型：
--
作者：
Shouguang Wang;Chengying Wang;Mengchu Zhou
针对一类不可控影响子网为前向同步和后向无冲突（FSBCF）网的Petri网，研究了其结构和性质，提出了一种将给定的广义互斥约束（GMEC）转化为最优可容许约束的算法。与基于路径的约束变换方法相比，该方法具有更高的计算效率。最后通过一个算例说明了该方法的应用。
For a class of Petri nets whose uncontrollable influence subnets are forward synchronization and backward conflict free (FSBCF) nets, this work studies their structure and properties and proposes an algorithm to transform a given generalized mutual exclusion constraint (GMEC) into an optimal admissible one. Compared with the path-based constraint transformation approaches, the proposed method has much higher computational efficiency. An example is used to illustrate the application of the proposed method.