%0 Journal Article
%T An Instant Messaging Inter-working Model between SIMPLE and IMPS Based on Petri Nets<br>即时消息业务中SIMPLE和IMPS的Petri网互通模型
%A Zhang Yu-ting
%A Liao Jian-xin
%A Dai Zhong
%A Zhu Xiao-min
%A Wu Wei
%A <br>张雨廷①③
%A 廖建新①
%A 戴 忠②
%A 朱晓民①
%A 武 威③
%J 电子与信息学报
%D 2008
%I 
%X 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.
%K SIMPLE
%K IMPS<br>即时消息
%K Petri网
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=1319827C0C74AAE8D654BEA21B7F54D3&jid=EFC0377B03BD8D0EF4BBB548AC5F739A&aid=97A361F11D7D42BD712406859B3B62C9&yid=67289AFF6305E306&vid=340AC2BF8E7AB4FD&iid=F3090AE9B60B7ED1&sid=C9E61AB37F867E3C&eid=BD645585791E8E29&journal_id=1009-5896&journal_name=电子与信息学报&referenced_num=1&reference_num=18