返回Google圖書搜尋

An Inter-Working Petri Net Model Between SIMPLE and IMPS for XDM Service

出版	INTECH Open Access Publisher, 2008
主題	Computers / Mathematical & Statistical Software
ISBN	39026131229783902613127
URL	http://books.google.com.hk/books?id=WqLQoAEACAAJ&hl=&source=gbs_api

註釋In this chapter, with the procedure of Protocol Conversion Methodology, a Petri net model is constructed to verify the mapping and the Enhanced Architectural Model proposed in (Zhang, 2007), find and exclude the possible exceptions in the inter-working. After the strict mathematical analysis and verification for the model, which prove that the model meets all properties of a correct Petri net model, the mapping and the Enhanced Architectural Model are proved to be reasonable and viable, and the probable exceptions in the inter-working can be found and excluded. During the modeling experiences of the inter-working with Petri Nets, a new coupling criteria for Petri net and some new methods for solving the conflict of a Petri Net are proposed, and the methodology is summarized, which enriches the application of Petri Nets for the Protocol Conversion Methodology. There are many standards or solutions for XDM, as the concept of XDM is almost same among different standards or solutions, the inter-working model proposed in this chapter has highly universal value and can provide an applicable reference for the inter-working between other standards, such as the inter-working between SIMPLE and XMPP.