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 |
关键词 | Petri Net,MMS |
中文摘要 | - |
英文摘要 |
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 . |
源URL | [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. |
入库方式: OAI收割
来源:自动化研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。