%0 Journal Article
%T CIMS Network Protocol and Its Net Models
%A Luo Junzhou
%A Gu Guanqun
%A <br>Luo Junzhou
%A Gu Guanqun
%J 计算机科学技术学报
%D 1997
%I 
%X 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.
%K Petri net
%K specification
%K CIMS
%K protocol<br>CIMS
%K 计算机集成制造
%K 网络模型
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5b3ab970f71a803deacdc0559115bfcf0a068cd97dd29835&cid=8240383f08ce46c8b05036380d75b607&jid=f57fef5faee544283f43708d560abf1b&aid=3e7179ede74c89c69e3ac25f92bc3f36&yid=5370399dc954b911&vid=59906b3b2830c2c5&iid=94c357a881dfc066&sid=da4893b5f9885621&eid=283b38dad0d068f3&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=1