[1]花全香,邢汉承,冯纯伯.Petri网和图文法[J].东南大学学报(自然科学版),1994,24(6):82-88.[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-88.[doi:10.3969/j.issn.1001-0505.1994.06.015]
点击复制

Petri网和图文法()
分享到:

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

卷:
24
期数:
1994年第6期
页码:
82-88
栏目:
计算机科学与工程
出版日期:
1994-11-20

文章信息/Info

Title:
Petri Net and Graph-Grammat
作者:
花全香邢汉承冯纯伯
东南大学计算机科学与工程系; 东南大学自动化研究所
Author(s):
Hua Quanxiang;Xing Hancheng Feng Chunbo Feng Chunbo
Department of Computer Seience and Engineering, Southeast University, Nanjing 210018
Institute of Automatic Control, Southeast University, Nanjing 210018
关键词:
Petri网 图文法 并发性 点火 推导
分类号:
TP301.2
DOI:
10.3969/j.issn.1001-0505.1994.06.015
摘要:
通过对Petri网的点火变迁过程和图文法推导过程的研究,给出了从Petri网到图文法的构造过程,并进一步证明了网络的点火过程等价于图文法的推导过程,提供了关于并发性研究的又一途径。

相似文献/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].东南大学学报(自然科学版),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(6):1180.[doi:10.3969/j.issn.1001-0505.2010.06.010]

更新日期/Last Update: 2013-04-19