即时消息业务中SIMPLE和IMPS的Petri网互通模型

张雨廷; 廖建新; 戴忠; 朱晓民; 武威

doi:10.3724/SP.J.1146.2007.00359

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名

邮箱

手机号码

标题

留言内容

验证码

即时消息业务中SIMPLE和IMPS的Petri网互通模型

doi: 10.3724/SP.J.1146.2007.00359

张雨廷^{①③ 廖建新,},
廖建新,
戴忠,
朱晓民,
武威

基金项目:

国家杰出青年科学基金(60525110)，国家973计划项目(2007CB307100，2007CB307103)，新世纪优秀人才支持计划(NCET-04-0111)，电子信息产业发展基金项目(基于3G的移动业务应用系统)和国家高技术产业化信息化装备专项项目(支持数据增值业务的移动智能网系统)资助课题

计量
- 文章访问数: 3213
- HTML全文浏览量: 103
- PDF下载量: 807
- 被引次数: 0
出版历程
- 收稿日期: 2007-03-14
- 修回日期: 2007-11-05
- 刊出日期: 2008-10-19

An Instant Messaging Inter-working Model between SIMPLE and IMPS Based on Petri Nets

摘要

摘要: 该文提出新的Petri网耦合规则对即时消息在SIMPLE和IMPS之间的映射建立了互通Petri网模型，通过对该模型进行严格的数学分析验证，该模型满足正确的Petri网模型所应具备的所有特性，证明了该互通映射的合理性以及可行性。
- SIMPLE /
- IMPS /
- 即时消息 /
- Petri网
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.
- S /
- e /
- s