An Instant Messaging Inter-working Model between SIMPLE and IMPS Based on Petri Nets
即时消息业务中SIMPLE和IMPS的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.