摘要
该文提出新的Petri网耦合规则对即时消息在SIMPLE和IMPS之间的映射建立了互通Petri网模型,通过对该模型进行严格的数学分析验证,该模型满足正确的Petri网模型所应具备的所有特性,证明了该互通映射的合理性以及可行性。
The Instant Messaging inter-working model based on Petri nets is set up to verify the mapping between SIMPLE and IMPS by a new universal coupling criteria of Petri nets model. After the strict mathematical analysis and verification for the model, which prove that the model meets all properties of a correct Petri nets model, the mapping is proved to be reasonable and viable.
出处
《电子与信息学报》
EI
CSCD
北大核心
2008年第10期2481-2485,共5页
Journal of Electronics & Information Technology
基金
国家杰出青年科学基金(60525110)
国家973计划项目(2007CB307100
2007CB307103)
新世纪优秀人才支持计划(NCET-04-0111)
电子信息产业发展基金项目(基于3G的移动业务应用系统)
国家高技术产业化信息化装备专项项目(支持数据增值业务的移动智能网系统)资助课题
关键词
SIMPLE
IMPS
即时消息
PETRI网
Session Initiation Protocol for Instant Message and Presence Leveraging Extensions （SIMPLE）
Instant Messaging and Presence Services （IMPS）
Instant messaging
Petri nets
