Reduction and Refinement by Algebraic Operations for Petri Net Transformation
Reduction and Refinement by Algebraic Operations for Petri Net Transformation
复制标题
Petri 网变换的代数运算简化和细化
DOI：
10.1109/tsmca.2012.2186440
复制
发表时间：
2012-09
期刊：
影响因子：
--
通讯作者：
Dai, Xianzhong
中科院分区：
文献类型：
--
作者：
Li, Jun;Zhou, MengChu;Dai, Xianzhong
Petri网（PN）变换是一种将网从一种结构转换为另一种结构的方法。现有的方法是依赖于净含量的，即，在变换期间，右侧网和左侧网或操作数网的所有元素都参与匹配和相关操作。它们带来了很高的计算复杂度和难以预测的转换结果。归约和精化作为两种基本的网变换，至今尚未被纳入网变换方法的统一框架。此外，在现有的约简和精化方法中，引导网变换的准则没有与变换操作分离。为了解决这些问题，这项工作提出了一个网代数系统的一般变换的网。它具有节点运算、块运算和基本的位置和变迁接口的网运算代数。网内容无关变换可以用网代数的方法实现，它只涉及操作数网接口的位置和操作。此外，通过组成几个操作，新的操作减少和细化定义在一个统一的网络转换框架，在其中它们是独立的特定的转换标准。随后，之间的等价性的原始和变换网络的PN属性作为标准进行了调查，并证明了当几个新提出的子网结构被用作操作数。最后，应用代数归约运算分析了邮件分拣系统的复杂PN模型。
Petri net (PN) transformation is a method for converting a net from one structure to another. The existing approaches are net content dependent, i.e., all elements of the right- and left-hand-side nets or the operand nets participate in matching and related operations during transformation. They incur high computational complexity and difficulty to predict the transformation results. Reduction and refinement as two kinds of elementary net transformation have not been brought into a unified framework of net transformation approaches. In addition, the criteria for steering net transformation have not been separated from the transformation manipulations in the existing reduction and refinement methods. To solve these problems, this work proposes a net algebraic system for the general transformation of nets. It possesses node operation, block operation, and basic place- and transition-interfaced net operation algebras. Net-content-independent transformation, in which only the location and operation of the operand nets' interfaces are involved, can be achieved in a net algebraic way. Furthermore, by composing several operations, new operations for reduction and refinement are defined within a unified net transformation framework in which they are independent of the specific transformation criteria. Subsequently, the equivalence between the original and transformed nets with respect to PN properties as the criterion is investigated and proved when several newly proposed subnet structures are used as operands. Finally, the algebraic reduction operation is applied to analyze a complicated PN model of a mail sorting system.
登录
查看更多内容
影响因子：
9.2
作者：
M. P. Fanti;G. Maione;B. Turchiano
通讯作者：
M. P. Fanti;G. Maione;B. Turchiano
用于自动化制造系统死锁控制的资源转换电路和虹吸管
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.1016/0304-3975(91)90203-e
发表时间：
1991-03
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
W. Reisig
通讯作者：
W. Reisig
DOI：
10.1016/j.cie.2009.07.013
发表时间：
2009-11
期刊：
Comput. Ind. Eng.
影响因子：
--
作者：
Jun Li;X. Dai;Zhengda Meng;Jianping Dou;Xianping Guan
通讯作者：
Jun Li;X. Dai;Zhengda Meng;Jianping Dou;Xianping Guan
DOI：
10.1109/gcc.2006.62
发表时间：
2006-10
期刊：
2006 Fifth International Conference on Grid and Cooperative Computing (GCC'06)
影响因子：
--
作者：
Yaojun Han;Xuemei Luo
通讯作者：
Yaojun Han;Xuemei Luo