{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T05:25:52Z","timestamp":1736573152911,"version":"3.32.0"},"reference-count":22,"publisher":"Wiley","issue":"5","license":[{"start":{"date-parts":[[2006,8,9]],"date-time":"2006-08-09T00:00:00Z","timestamp":1155081600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Communication"],"published-print":{"date-parts":[[2007,5]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Protocol conversion is a critical issue requiring much research attention. In this paper, the protocol conversion methodology proposed originally by Green is extended with the Petri nets theory to study application layer protocol conversion among more than two interfaces. The click\u2010to\u2010fax (CTF) service based on the Internet intelligent network (IIN) model is taken as an example to illustrate the extended part. A two\u2010step Petri net modelling method is proposed, which is easier compared to constructing the overall model directly in just one step. Universal coupling criteria of Petri net model of protocol conversion (PNPC) are abstracted. The PNPC of CTF service is analysed using analytical techniques of Petri nets, which are proved to be effective in finding and eliminating potential bugs. The necessity of the concept of service layer is also emphasized. Copyright \u00a9 2006 John Wiley &amp; Sons, Ltd.<\/jats:p>","DOI":"10.1002\/dac.832","type":"journal-article","created":{"date-parts":[[2006,8,9]],"date-time":"2006-08-09T14:15:04Z","timestamp":1155132904000},"page":"533-551","source":"Crossref","is-referenced-by-count":2,"title":["Petri net model of protocol conversion for CTF service: its universal coupling criteria and property analysis"],"prefix":"10.1002","volume":"20","author":[{"given":"Xiaomin","family":"Zhu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianxin","family":"Liao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Junliang","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,8,9]]},"reference":[{"key":"e_1_2_1_2_2","series-title":"Selected Reprint Series","first-page":"2","volume-title":"Network Interconnection and Protocol Conversion","author":"Green PE","year":"1988"},{"key":"e_1_2_1_3_2","unstructured":"GreenPEJr.An introduction to protocol conversion. Proceedings of Pacific Computer Communications'85 Seoul Korea 1985;57\u201362."},{"key":"e_1_2_1_4_2","unstructured":"MaplePK.Protocol converters solve compatibility problems. New Electronics 21 February 1984;77."},{"issue":"10","key":"e_1_2_1_5_2","first-page":"1383","article-title":"Interworking in the next millennium","volume":"80","author":"Walters SM","year":"1997","journal-title":"IEICE Transactions on Communications"},{"key":"e_1_2_1_6_2","series-title":"Selected Reprint Series","first-page":"14","volume-title":"Network Interconnection and Protocol Conversion","author":"Gien M","year":"1988"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0140-3664(98)00143-1"},{"key":"e_1_2_1_8_2","series-title":"Selected Reprint Series","first-page":"492","volume-title":"Network Interconnection and Protocol Conversion","author":"Groenbaek I","year":"1988"},{"key":"e_1_2_1_9_2","series-title":"Selected Reprint Series","first-page":"501","volume-title":"Network Interconnection and Protocol Conversion","author":"Okumura K","year":"1988"},{"key":"e_1_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(99)00024-2"},{"issue":"3","key":"e_1_2_1_11_2","first-page":"33","article-title":"A formal model of OSI X.25\/FR gateway based on high level Petri Net","volume":"7","author":"Pan L","year":"2001","journal-title":"High Technology Letters"},{"key":"e_1_2_1_12_2","series-title":"Selected Reprint Series","first-page":"344","volume-title":"Network Interconnection and Protocol Conversion","author":"Francois P","year":"1988"},{"key":"e_1_2_1_13_2","series-title":"Selected Reprint Series","first-page":"376","volume-title":"Network Interconnection and Protocol Conversion","author":"Sy KK","year":"1988"},{"key":"e_1_2_1_14_2","series-title":"Selected Reprint Series","first-page":"466","volume-title":"Network Interconnection and Protocol Conversion","author":"Wakayama H","year":"1988"},{"key":"e_1_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.2316\/Journal.202.2006.3.202-1650"},{"key":"e_1_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(00)00190-0"},{"key":"e_1_2_1_17_2","unstructured":"Petri Nets World https:\/\/2.zoppoz.workers.dev:443\/http\/www.informatik.uni\u2010hamburg.de\/TGI\/PetriNets\/ March2006."},{"key":"e_1_2_1_18_2","unstructured":"Visual Object Net++ Homepage https:\/\/2.zoppoz.workers.dev:443\/http\/www.systemtechnik.tu\u2010ilmenau.de\/\u223cdrath\/visual_E.htm Dec.2002."},{"key":"e_1_2_1_19_2","first-page":"93","article-title":"EPr\/TN Net system and the formal description technique of network protocols","volume":"17","author":"Gu G","year":"1994","journal-title":"Chinese Journal of Computers"},{"key":"e_1_2_1_20_2","unstructured":"ShenJ PanL.Specification Verification and implementation of OSI X.25\/FR gateway based on high\u2010level Petri nets. Proceedings of International Conference on Communication Technology Beijing China 22\u201324 October1998;S48\u201001\u20101\u2013S48\u201001\u20105."},{"key":"e_1_2_1_21_2","doi-asserted-by":"crossref","unstructured":"ZhuX LiaoJ ChenJ.A Petri net model of protocol conversion in click\u2010to\u2010dial service. IEE Mobility Conference Guangzhou China 15\u201317 November2005.","DOI":"10.1049\/cp:20051515"},{"issue":"4","key":"e_1_2_1_22_2","first-page":"8","article-title":"Application of Petri net analysis in protocol conversion between Frame Relay and X.25 Network","volume":"17","author":"Huang C","year":"1997","journal-title":"Journal of Nanjing Institute of Posts and Telecommunications"},{"key":"e_1_2_1_23_2","first-page":"199","volume-title":"Control and Cybernetics","author":"Suraj Z","year":"1995"}],"container-title":["International Journal of Communication Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fdac.832","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/dac.832","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T11:19:34Z","timestamp":1736507974000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/onlinelibrary.wiley.com\/doi\/10.1002\/dac.832"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,8,9]]},"references-count":22,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2007,5]]}},"alternative-id":["10.1002\/dac.832"],"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1002\/dac.832","archive":["Portico"],"relation":{},"ISSN":["1074-5351","1099-1131"],"issn-type":[{"type":"print","value":"1074-5351"},{"type":"electronic","value":"1099-1131"}],"subject":[],"published":{"date-parts":[[2006,8,9]]}}}