|
|
|
| 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③ |
| ①(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.
|
|
Received: 14 March 2007
|
|
|
|
Corresponding Authors:
Zhang Yu-ting
|
|
|
|
|
|
|
2008, Vol. 30 
