| 即时消息业务中SIMPLE和IMPS的Petri网互通模型 |
| |
| 引用本文： | 张雨廷, 廖建新, 戴忠, 朱晓民, 武威. 即时消息业务中SIMPLE和IMPS的Petri网互通模型[J]. 电子与信息学报, 2008, 30(10): 2481-2485. doi: 10.3724/SP.J.1146.2007.00359 |
| |
| 作者姓名： | 张雨廷 廖建新 戴忠 朱晓民 武威 |
| |
| 作者单位： | 北京邮电大学网络与交换技术国家重点实验室,北京100876;中国移动通信有限公司研究院 北京,100053;北京邮电大学网络与交换技术国家重点实验室,北京,100876;中国移动通信集团公司,北京,100032;中国移动通信有限公司研究院 北京,100053 |
| |
| 基金项目： | 国家自然科学基金，国家重点基础研究发展计划(973计划)，教育部跨世纪优秀人才培养计划，电子信息产业发展基金，国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 该文提出新的Petri网耦合规则对即时消息在SIMPLE和IMPS之间的映射建立了互通Petri网模型，通过对该模型进行严格的数学分析验证，该模型满足正确的Petri网模型所应具备的所有特性，证明了该互通映射的合理性以及可行性。
|
| 关 键 词： | SIMPLE IMPS 即时消息 Petri网 |
| 收稿时间： | 2007-03-14 |
| 修稿时间： | 2007-11-05 |
An Instant Messaging Inter-working Model between SIMPLE and IMPS Based on Petri Nets |
| |
| Zhang Yu-Ting, Liao Jian-Xin, Dai Zhong, Zhu Xiao-Min, Wu Wei. An Instant Messaging Inter-working Model between SIMPLE and IMPS Based on Petri Nets[J]. Journal of Electronics & Information Technology, 2008, 30(10): 2481-2485. doi: 10.3724/SP.J.1146.2007.00359 |
| |
| Authors: | Zhang Yu-ting Liao Jian-xin Dai Zhong Zhu Xiao-min Wu Wei |
| |
| Affiliation: | (State Key Lab of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing 100876, China) (China Mobile Communications Corporation, Beijing 100032, China) (Research Institute of China Mobile, Beijing 100053, China) |
| |
| Abstract: | 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. |
| |
| Keywords: | SIMPLE IMPS |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《电子与信息学报》浏览原始摘要信息 |
|
点击此处可从《电子与信息学报》下载全文 |
|
