CIMS Network Protocol and Its Net Models  

作　　者：罗军舟 顾冠群 

机构地区：[1]DepartmentofComputerScienceandEngineering,SoutheastUniversity,Nanjing210096 [2]DepartmentofComputerScien

出　　处：《Journal of Computer Science & Technology》1997年第5期476-480,F003,共6页计算机科学技术学报（英文版）

摘　　要：Computer communication network architectures for CIMS are based on the OSI Reference Model. In this paper, CIMS network protocol model is set up on the basis of the corresponding service model. Then the authors present a formal specification of transport protocols by using an extended Predicate/Transition net system that is briefly introduced in the third part. Finally, the general methods for the Petri nets based fornlal specification of CIMS network protocols are outlined.Computer communication network architectures for CIMS are based on the OSI Reference Model. In this paper, CIMS network protocol model is set up on the basis of the corresponding service model. Then the authors present a formal specification of transport protocols by using an extended Predicate/Transition net system that is briefly introduced in the third part. Finally, the general methods for the Petri nets based fornlal specification of CIMS network protocols are outlined.

关 键 词：Petri net SPECIFICATION CIMS PROTOCOL 

分 类 号：TH166[机械工程—机械制造及自动化]