A Colored Petri Net Model for Connection Management Services in MMS

CASIA OpenIR > 09年以前成果

	A Colored Petri Net Model for Connection Management Services in MMS
	Fei-Yue Wang; Kevin Gildea; Alan Rubenstein
发表期刊	ACM SIGCOMM Computer Communication Review
	1989
卷号	19 期号:3 页码:76-98
摘要	-; This paper presents a Petri net (PN) model for Connection Management Services (CMS) of the Manufacturing Message Specification (MMS) which describes all possible sequences of service primitives that can occur during establishment, maintenance and termination of the connection and their relation at each service state . The PN model enables a complete and unambiguous specification to be derived for CMS . P-invariants and T-invariants analysis carried out on the connection PN provides useful information on the CMS behavior and specification for its implementation . It is claimed that PNs may offer a hierarchical mathematical description for the entire MMS protocol, a uniform representation for various level of abstraction of MMS protocol and an analytical model for protocol performance evaluation and analysis .
关键词	Petri Net Mms
文献类型	期刊论文
条目标识符	http://ir.ia.ac.cn/handle/173211/14187
专题	09年以前成果
作者单位	Computer Integrated Manufacturing Program Center for Manufacturing Productivity and Technology Transfer Rensselaer Polytechnic Institute Troy, NY 12180, USA
推荐引用方式 GB/T 7714	Fei-Yue Wang,Kevin Gildea,Alan Rubenstein. A Colored Petri Net Model for Connection Management Services in MMS[J]. ACM SIGCOMM Computer Communication Review,1989,19(3):76-98.
APA	Fei-Yue Wang,Kevin Gildea,&Alan Rubenstein.(1989).A Colored Petri Net Model for Connection Management Services in MMS.ACM SIGCOMM Computer Communication Review,19(3),76-98.
MLA	Fei-Yue Wang,et al."A Colored Petri Net Model for Connection Management Services in MMS".ACM SIGCOMM Computer Communication Review 19.3(1989):76-98.

条目包含的文件		下载所有文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
A Colored Petri Net （1138KB）	期刊论文	作者接受稿	开放获取	CC BY-NC-SA	浏览