[1]李俊,戴先中,孟正大.一类用于网变换的Petri 网代数系统[J].东南大学学报(自然科学版),2010,40(6):1180-1184.[doi:10.3969/j.issn.1001-0505.2010.06.010]
 Li Jun,Dai Xianzhong,Meng Zhengda.A class of Petri net algebraic systems for net transformation[J].Journal of Southeast University (Natural Science Edition),2010,40(6):1180-1184.[doi:10.3969/j.issn.1001-0505.2010.06.010]
点击复制

一类用于网变换的Petri 网代数系统()
分享到:

《东南大学学报(自然科学版)》[ISSN:1001-0505/CN:32-1178/N]

卷:
40
期数:
2010年第6期
页码:
1180-1184
栏目:
计算机科学与工程
出版日期:
2010-11-20

文章信息/Info

Title:
A class of Petri net algebraic systems for net transformation
作者:
李俊 戴先中 孟正大
东南大学自动化学院, 南京 210096
Author(s):
Li Jun Dai Xianzhong Meng Zhengda
School of Automation, Southeast University, Nanjing 210096, China
关键词:
Petri网 代数系统 网变换 离散事件系统
Keywords:
Petri net algebraic system Petri net transformation discrete event system
分类号:
TP301
DOI:
10.3969/j.issn.1001-0505.2010.06.010
摘要:
针对现有的多数规则置换式与代数运算式网变换方法存在内容依赖、执行效率低与通用性差的不足,以代数结构理论为基础提出一种用于更一般性网变换的新型接口依赖的网运算代数系统,包括Petri网的基本节点与块的融合与衍生运算,扩展的库所与变迁接口网的并加、串加、减运算以及块接口网的合成与分解运算.并分析了网代数运算的封闭性、可结合性、可交换性等代数性质,然后将网代数应用于解决包含置换与分解过程的复合网变换中,显示了网代数的有效性.最后,分析总结了Petri网代数相对于现有的置换式与代数运算式网变换途径的优势.
Abstract:
Aimed at the deficiencies such as content-dependence, low execution efficiency, and poor universality of most of the existing net transformation methods in both rule-based replacement and algebraic operation, a new class of interface-dependent Petri net operation algebra systems for more general net transformation is proposed based on the algebraic structure theory. The algebra systems include fundamental fusion and fission operations for both Petri net nodes and blocks, the extended operations of parallel addition, sequential addition, and subtraction for both place and transition-interfaced nets, and composition and decomposition for block-interfaced nets. Meanwhile, algebraic properties of the operations, i.e., closure, associativity, and commutativity, are analyzed. Then, the algebra is applied to an example of combinatorial net transformation consisting of a replacement process and a decomposition process, and the results indicate the validity of the algebra. Finally, by comparing with the existing transformation methods in the way of rule-based replacement and algebraic operation, the predominance of the proposed algebra is analyzed and summed up.

参考文献/References:

[1] 袁崇义.Petri网原理与应用[M].北京:电子工业出版社,2005.
[2] Li J,Dai X,Meng Z.Rapid design and reconfiguration of Petri net models for reconfigurable manufacturing cells with improved net rewriting systems and activity diagrams [J].Computers & Industrial Engineering,2009,57(4):1431-1451.
[3] Ehrig H,Padberg J.Graph grammars and Petri net transformations [J].Lecture Notes in Comput Sci,2004,3098:496-536.
[4] Padberg J,Gajewsky M,Ermel C.Rule-based refinement of high-level nets preserving safety properties [J].Science of Computer Programming,2001,40(1):97-118.
[5] Huang H,Cheung T,Mak W M.Structure and behavior preservation by Petri-net-based refinements in system design [J].Theoretical Computer Science,2004,328(3):245-269.
[6] Zurawski R.Petri net models,functional abstractions,and reduction techniques:applications to the design of automated manufacturing systems [J].IEEE Transactions on Industrial Electronics,2005,52(2):595-609.
[7] Jiang C,Wu Z.Net operations [J].Journal of Computer Science and Technology,1992,7(4):333-344.
[8] 王培良,赵义军,叶志宝.Petri网的并分解[J].控制理论与应用,2001,18(1):116-118.
  Wang Peiliang,Zhao Yijun,Ye Zhibao.Union decomposition of Petri nets [J].Control Theory and Application,2001,18(1):116-118.(in Chinese)
[9] 李孝忠,王文德,杜玉越.Petri网的组合并运算及性质[J].计算机科学,2000,27(8):59-62.
  Li Xiaozhong,Wang Wende,Du Yuyue.Composition union operations of Petri nets and their properties [J].Computer Science,2000,27(8):59-62.(in Chinese)
[10] Atanassov K T.Dynamical operators defined over the set of generalized nets [J]. AMSE Review,1990,13(1):9-16.
[11] Georgiev P.Classification of the operators defined over the generalized nets.Ⅰ [J].Advances in Modelling and Analysis A:General Mathematical and Computer Tools,1995,24(3/4):6-11.
[12] 戴一奇,胡冠章,陈卫.图论与代数结构[M].北京:清华大学出版社,1995:1-220.
[13] Li J,Guan X,Dou J.Petri net algebras for DES model transformation[C] //Proc 2010 International Conference on Computational Intelligence and Software Engineering.(to appear)

相似文献/References:

[1]杜玉越,李孝忠,曹德范.同步合成网的结构性质分析[J].东南大学学报(自然科学版),1999,29(5):26.[doi:10.3969/j.issn.1001-0505.1999.05.005]
 Du Yuyue,Li Xiaozhong,Cao Defan.On Structural Property Preservation by Synchronization Composition of Petri Nets[J].Journal of Southeast University (Natural Science Edition),1999,29(6):26.[doi:10.3969/j.issn.1001-0505.1999.05.005]
[2]费翔,顾冠群,吴介一.基于Petri网的MMS服务描述、验证及实现[J].东南大学学报(自然科学版),1997,27(2):83.[doi:10.3969/j.issn.1001-0505.1997.02.015]
 Fei Xiang Gu Guanqun,The Description,Verification and Implementation of MMS Based on Petri Nets[J].Journal of Southeast University (Natural Science Edition),1997,27(6):83.[doi:10.3969/j.issn.1001-0505.1997.02.015]
[3]花全香,邢汉承,冯纯伯.Petri网和图文法[J].东南大学学报(自然科学版),1994,24(6):82.[doi:10.3969/j.issn.1001-0505.1994.06.015]
 Hua Quanxiang,Xing,Hancheng Feng,et al.Petri Net and Graph-Grammat[J].Journal of Southeast University (Natural Science Edition),1994,24(6):82.[doi:10.3969/j.issn.1001-0505.1994.06.015]

备注/Memo

备注/Memo:
作者简介: 李俊(1978—), 男, 博士, 讲师, j.li@seu.edu.cn.
基金项目: 国家自然科学基金资助项目(61004035).
引文格式: 李俊,戴先中,孟正大.一类用于网变换的Petri 网代数系统[J].东南大学学报:自然科学版,2010,40(6):1180-1184. [doi:10.3969/j.issn.1001-0505.2010.06.010]
更新日期/Last Update: 2010-11-20