[1]杜玉越,李孝忠,曹德范.同步合成网的结构性质分析[J].东南大学学报(自然科学版),1999,29(5):26-30.[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(5):26-30.[doi:10.3969/j.issn.1001-0505.1999.05.005]
点击复制

同步合成网的结构性质分析()
分享到:

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

卷:
29
期数:
1999年第5期
页码:
26-30
栏目:
计算机科学与工程
出版日期:
1999-09-20

文章信息/Info

Title:
On Structural Property Preservation by Synchronization Composition of Petri Nets
作者:
杜玉越 李孝忠 曹德范
聊城师范学院计算机科学系, 聊城 252059
Author(s):
Du Yuyue Li Xiaozhong Cao Defan
Department of Computer Science, Liaocheng Teachers University, Liaocheng 252059
关键词:
Petri网 同步合成 结构性质 保持
Keywords:
Petri net synchronous composition structural property preservation.
分类号:
TP4
DOI:
10.3969/j.issn.1001-0505.1999.05.005
摘要:
研究了同步合成网的结构性质, 给出了同步合成网保持子网结构性质不变的条件.结果表明: 同步合成网对某些结构性质可直接保持,而对另一些结构性质, 需在某种条件下保持.这些结果可为网系统同步合成提供有力手段.
Abstract:
The structural properties of synchronization composition of Petri nets are deeply discussed. Some conditions of the structural property preservation by synchronization composition of Petri nets are obtained. It is shown that some structural properties are directly preserved by synchronization composition of Petri nets, but other structural properties are preserved under some conditions. These results are useful for studying synchronous composition of net systems.

参考文献/References:

[1] 罗军舟,顾冠群,谢俊清.Petri网协议分析器.计算机学报,1997,20(3):206~212
[2] Jiang C J,Wu Z H.Net operations.Journal of Computer Science and Technology,1992,7(4):333~344
[3] Souissi Y.On liveness preservation by composition of nets via a set of places.Berlin:Advances in Petri Nets,LNCS,Springer-Verlag,1991.277~295
[4] 杜玉越,李孝忠.S-组合Petri网的活性分析与实现.计算机学报,1998,21(8):747~752
[5] 吴哲辉.有界Petri网的活性和公平性的分析与实现.计算机学报,1989,12(4):267~278
[6] 陆维明.论活网中冻结标志的意义.中国科学(A辑),1988,31(7):776~784

相似文献/References:

[1]费翔,顾冠群,吴介一.基于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(5):83.[doi:10.3969/j.issn.1001-0505.1997.02.015]
[2]花全香,邢汉承,冯纯伯.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(5):82.[doi:10.3969/j.issn.1001-0505.1994.06.015]
[3]李俊,戴先中,孟正大.一类用于网变换的Petri 网代数系统[J].东南大学学报(自然科学版),2010,40(6):1180.[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(5):1180.[doi:10.3969/j.issn.1001-0505.2010.06.010]

备注/Memo

备注/Memo:
基金项目: 山东省自然科学基金资助项目(Y97G08108).
第一作者:男, 1960年生, 教授, 硕士.
更新日期/Last Update: 1999-09-20