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
	F. Y. Wang; K. 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 al l 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 mode l enables a complete and unambiguous specification to be derived for CMS . P-invariants an d T-invariants analysis carried out on the connection PN provides useful information on th e 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 representatio n for various level of abstraction of MMS protocol and an analytical model for protoco l performance evaluation and analysis .
关键词	Petri Net Manufacturing Message Specification (Mms)
文献类型	期刊论文
条目标识符	http://ir.ia.ac.cn/handle/173211/14915
专题	09年以前成果
推荐引用方式 GB/T 7714	F. Y. Wang,K. 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	F. Y. Wang,K. 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	F. Y. Wang,et al."A Colored Petri Net Model for Connection Management Services in MMS".ACM SIGCOMM Computer Communication Review 19.3(1989):76-98.