{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,6]],"date-time":"2024-12-06T05:17:50Z","timestamp":1733462270808,"version":"3.30.1"},"reference-count":25,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1999,5,1]],"date-time":"1999-05-01T00:00:00Z","timestamp":925516800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[1999,5]]},"DOI":"10.1016\/s0164-1212(99)00024-2","type":"journal-article","created":{"date-parts":[[2003,4,5]],"date-time":"2003-04-05T02:09:52Z","timestamp":1049508592000},"page":"53-69","source":"Crossref","is-referenced-by-count":4,"title":["Synthesis of communications protocol converters using the timed Petri net model"],"prefix":"10.1016","volume":"47","author":[{"given":"Mansour","family":"Jaragh","sequence":"first","affiliation":[]},{"given":"Kassem","family":"Saleh","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"3","key":"10.1016\/S0164-1212(99)00024-2_BIB1","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/32.75415","article-title":"Modeling and verification of time dependent systems using time Petri nets","volume":"17","author":"Berthomieu","year":"1991","journal-title":"IEEE Trans. Software Eng."},{"issue":"9","key":"10.1016\/S0164-1212(99)00024-2_BIB2","doi-asserted-by":"crossref","first-page":"1298","DOI":"10.1109\/26.61367","article-title":"Deriving protocol converters for communications gateways","volume":"38","author":"Bochmann","year":"1990","journal-title":"IEEE Trans. Commun."},{"issue":"1","key":"10.1016\/S0164-1212(99)00024-2_BIB3","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1109\/49.46842","article-title":"Design principles for communication gateways","volume":"8","author":"Bochmann","year":"1990","journal-title":"IEEE J. Selected Areas on Commun."},{"key":"10.1016\/S0164-1212(99)00024-2_BIB4","doi-asserted-by":"crossref","unstructured":"Calvert, K., Lam, S., 1989. Deriving a protocol converter: a top down method. Proceedings of the ACM SIGCOMM'89, pp. 247\u2013258","DOI":"10.1145\/75246.75271"},{"key":"10.1016\/S0164-1212(99)00024-2_BIB5","doi-asserted-by":"crossref","unstructured":"Calvert, K., Lam, S., 1990a. Adaptors for protocol conversion. Proceedings of the INFOCOM'90 vol. 2, pp. 552\u2013560","DOI":"10.1109\/INFCOM.1990.91294"},{"issue":"1","key":"10.1016\/S0164-1212(99)00024-2_BIB6","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1109\/49.46852","article-title":"Formal methods for protocol conversion","volume":"8","author":"Calvert","year":"1990","journal-title":"IEEE Trans. Selected Areas Commun."},{"key":"10.1016\/S0164-1212(99)00024-2_BIB7","doi-asserted-by":"crossref","unstructured":"de Jong, G., Lin. B., 1994. A communicating petri net model for the design of concurrent asynchronous modules. EURO ASIC Symposium","DOI":"10.1145\/196244.196272"},{"key":"10.1016\/S0164-1212(99)00024-2_BIB8","unstructured":"Glabeek R., Van, Vaandrager, F., 1987. Petri net modules for algebraic theories of concurrency. Proceedings of PARLE, Lecture Notes in Computer Science, vol. 259"},{"issue":"3","key":"10.1016\/S0164-1212(99)00024-2_BIB9","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1109\/TCOM.1986.1096529","article-title":"Protocol conversion","volume":"34","author":"Green","year":"1986","journal-title":"IEEE Trans. Commun."},{"key":"10.1016\/S0164-1212(99)00024-2_BIB10","unstructured":"Jeng, H.J., Liu, M.T., 1992. From service specification to protocol converter: a synchronization transition set approach. Proceedings of the 12th International Symposium on Protocol Specification, Testing and Verification"},{"key":"10.1016\/S0164-1212(99)00024-2_BIB11","doi-asserted-by":"crossref","unstructured":"Juanole, G., Faure, C., 1989. On gateway for internetworking through ISDN: architecture and formal modelling with petri nets. Proceedings of the ACM SIGCOMM'89, Austin, TX","DOI":"10.1109\/INFCOM.1989.101487"},{"key":"10.1016\/S0164-1212(99)00024-2_BIB12","doi-asserted-by":"crossref","unstructured":"Kristol, D., et . 1993. A polynomial algorithm for gateway generation from formal specifications. IEEE\/ACM Trans. on Networking 1 (2), 217\u2013229","DOI":"10.1109\/90.222928"},{"issue":"3","key":"10.1016\/S0164-1212(99)00024-2_BIB13","first-page":"352","article-title":"Protocol conversion","volume":"13","author":"Lam","year":"1998","journal-title":"IEEE Trans. on Software Eng."},{"key":"10.1016\/S0164-1212(99)00024-2_BIB14","unstructured":"Liu, M.T., 1990. Protocol conversion. In: Proceedings of the International Computer Symposium, pp. 28\u20139"},{"key":"10.1016\/S0164-1212(99)00024-2_BIB15","doi-asserted-by":"crossref","unstructured":"Merlin, P.M., Segall, A., 1976. Recoverability of communication protocols \u2013 implications of a theoretical study. IEEE Transactions on Communications, 1036\u20131043","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"10.1016\/S0164-1212(99)00024-2_BIB16","unstructured":"Ohara, Y. et al., 1987. Protocol conversion method for heteregeneous systems interconnection in multi-profile environment. Seventh International Symposium on Protocol Specification, Testing and Verification"},{"key":"10.1016\/S0164-1212(99)00024-2_BIB17","doi-asserted-by":"crossref","unstructured":"Okumara, K., 1986. A formal protocol conversion method. Proceedings of the ACM SIGCOMM'86, pp. 30\u201337","DOI":"10.1145\/18172.18176"},{"key":"10.1016\/S0164-1212(99)00024-2_BIB18","doi-asserted-by":"crossref","unstructured":"Okumara, K., 1990. Generation of proper adaptors and converters from a formal service specification. Proceedings of the IEEE INFOCOM'90, vol. 2, pp. 564\u2013571","DOI":"10.1109\/INFCOM.1990.91296"},{"issue":"4","key":"10.1016\/S0164-1212(99)00024-2_BIB19","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/0140-3664(93)90091-6","article-title":"Construction of protocol converters using formal methods","volume":"16","author":"Peyravian","year":"1993","journal-title":"Computer Commun."},{"issue":"4","key":"10.1016\/S0164-1212(99)00024-2_BIB20","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1109\/12.88468","article-title":"Synthesizing a protocol converter from executable protocol traces","volume":"40","author":"Rajagopal","year":"1991","journal-title":"IEEE Trans. Computers"},{"key":"10.1016\/S0164-1212(99)00024-2_BIB21","doi-asserted-by":"crossref","unstructured":"Saleh, K., Ural, H., 1994. Formal specification of an information gateway service interface in Estelle. Comput. Standards Interfaces 16 (44)","DOI":"10.1016\/0920-5489(94)90059-0"},{"issue":"2","key":"10.1016\/S0164-1212(99)00024-2_BIB22","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/0920-5489(94)00045-I","article-title":"A methodology for the synthesis of communication gateways for network interoperability","volume":"17","author":"Saleh","year":"1995","journal-title":"Computer Standards and Interfaces"},{"key":"10.1016\/S0164-1212(99)00024-2_BIB23","unstructured":"Stallings, W., Data and Computer Communications. Macmillan, New York, pp. 568\u2013607"},{"key":"10.1016\/S0164-1212(99)00024-2_BIB24","doi-asserted-by":"crossref","unstructured":"Tao, Z.P., Goossens, M., 1992. Synthesizing communication protocol converter: a model and method. ACM Computer Science Conference, pp. 17\u201324","DOI":"10.1145\/131214.131216"},{"issue":"2","key":"10.1016\/S0164-1212(99)00024-2_BIB25","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1145\/75577.75586","article-title":"SNA and OSI: three strategies for interconnection","volume":"33","author":"Tillman","year":"1990","journal-title":"Commun. ACM"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121299000242?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121299000242?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,5]],"date-time":"2024-12-05T19:01:42Z","timestamp":1733425302000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121299000242"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,5]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,5]]}},"alternative-id":["S0164121299000242"],"URL":"https:\/\/doi.org\/10.1016\/s0164-1212(99)00024-2","relation":{},"ISSN":["0164-1212"],"issn-type":[{"type":"print","value":"0164-1212"}],"subject":[],"published":{"date-parts":[[1999,5]]}}}