CASIA OpenIR  > 09年以前成果
A Colored Petri Net Model for Connection Management Services in MMS
Fei-Yue Wang; Kevin Gildea; Alan Rubenstein
Source PublicationACM SIGCOMM Computer Communication Review
1989
Volume19Issue:3Pages:76-98
Abstract-;
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 .
KeywordPetri Net Mms
Document Type期刊论文
Identifierhttp://ir.ia.ac.cn/handle/173211/14187
Collection09年以前成果
AffiliationComputer Integrated Manufacturing Program Center for Manufacturing Productivity and Technology Transfer Rensselaer Polytechnic Institute Troy, NY 12180, USA
Recommended Citation
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.
Files in This Item: Download All
File Name/Size DocType Version Access License
A Colored Petri Net (1138KB)期刊论文作者接受稿开放获取CC BY-NC-SAView Download
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Fei-Yue Wang]'s Articles
[Kevin Gildea]'s Articles
[Alan Rubenstein]'s Articles
Baidu academic
Similar articles in Baidu academic
[Fei-Yue Wang]'s Articles
[Kevin Gildea]'s Articles
[Alan Rubenstein]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Fei-Yue Wang]'s Articles
[Kevin Gildea]'s Articles
[Alan Rubenstein]'s Articles
Terms of Use
No data!
Social Bookmark/Share
File name: A Colored Petri Net Model for Connection Management Services in Manufacturing Message Specification.pdf
Format: Adobe PDF
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.