[1]费翔,顾冠群,吴介一.基于Petri网的MMS服务描述、验证及实现[J].东南大学学报(自然科学版),1997,27(2):83-89.[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(2):83-89.[doi:10.3969/j.issn.1001-0505.1997.02.015]
点击复制

基于Petri网的MMS服务描述、验证及实现()
分享到:

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

卷:
27
期数:
1997年第2期
页码:
83-89
栏目:
计算机科学与工程
出版日期:
1997-03-20

文章信息/Info

Title:
The Description,Verification and Implementation of MMS Based on Petri Nets
作者:
费翔顾冠群吴介一
东南大学计算机科学与工程系; 东南大学CIMS中心
Author(s):
Fei Xiang Gu Guanqun
Department of Computer Science and Engineering, Southeast University, Nanjing 210018
CIMS Research Center, Southeast University, Nanjing 210018
关键词:
Petri网 计算机网络 协议 计算机集成制造/制造报文规范 Pr/T网
分类号:
TP393
DOI:
10.3969/j.issn.1001-0505.1997.02.015
摘要:
利用Petri网这一形式化描述工具建立了MMS(制造报文规范)体系结构的抽象模型,并利用Pr/T网对其中的重要服务——程序唤醒服务进行了描述、分析和验证,最后,以此为基础在MAP、BITBUS网上实现了MMS服务,通过互操作测试证明了其正确性

相似文献/References:

[1]陈勇,胡爱群,钟子果.树状网络中最短接通时间的快速算法[J].东南大学学报(自然科学版),2004,34(1):1.[doi:10.3969/j.issn.1001-0505.2004.01.001]
 Chen Yong,Hu Aiqun,Zhong Ziguo.Fast algorithm for calculating the minimum makespan in tree-type networks[J].Journal of Southeast University (Natural Science Edition),2004,34(2):1.[doi:10.3969/j.issn.1001-0505.2004.01.001]
[2]杜玉越,李孝忠,曹德范.同步合成网的结构性质分析[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(2):26.[doi:10.3969/j.issn.1001-0505.1999.05.005]
[3]吴国新,吉逸.COSCO~*EDI 系统的设计与实现[J].东南大学学报(自然科学版),1997,27(3):98.[doi:10.3969/j.issn.1001-0505.1997.03.019]
 Wu Guoxin,Ji Yi.Design and Implementation of COSCO *EDI System[J].Journal of Southeast University (Natural Science Edition),1997,27(2):98.[doi:10.3969/j.issn.1001-0505.1997.03.019]
[4]花全香,邢汉承,冯纯伯.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(2):82.[doi:10.3969/j.issn.1001-0505.1994.06.015]
[5]凡开文,姚龙海,黄恩生.支持分布式数据库的局域网——NGNET[J].东南大学学报(自然科学版),1988,18(4):52.[doi:10.3969/j.issn.1001-0505.1988.04.007]
 Fan Kaiwen Yao Longhai Huang Ensheng(Department of Computer Science and Engincering).A LAN for Supporting Distributed Database System——NGNET[J].Journal of Southeast University (Natural Science Edition),1988,18(2):52.[doi:10.3969/j.issn.1001-0505.1988.04.007]
[6]李俊,戴先中,孟正大.一类用于网变换的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(2):1180.[doi:10.3969/j.issn.1001-0505.2010.06.010]
[7]顾冠群,严秉樟,曹争,等.HDLC通信控制器及规程软件的实现[J].东南大学学报(自然科学版),1987,17(2):23.[doi:10.3969/j.issn.1001-0505.1987.02.003]
 Gu Guanqun,Yan Bingzhang,Cao Zheng,et al.Communication Controller and Software of HDLC Protocol[J].Journal of Southeast University (Natural Science Edition),1987,17(2):23.[doi:10.3969/j.issn.1001-0505.1987.02.003]

备注/Memo

备注/Memo:
国家自然科学基金,江苏省自然科学基金
更新日期/Last Update: 2013-04-14