{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T13:43:43Z","timestamp":1773668623188,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,11,4]],"date-time":"2005-11-04T00:00:00Z","timestamp":1131062400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,11,4]]},"DOI":"10.1145\/1096967.1096977","type":"proceedings-article","created":{"date-parts":[[2006,2,6]],"date-time":"2006-02-06T15:52:40Z","timestamp":1139241160000},"page":"47-54","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":46,"title":["Verifying web services composition based on hierarchical colored petri nets"],"prefix":"10.1145","author":[{"given":"YanPing","family":"Yang","sequence":"first","affiliation":[{"name":"National University of Defense Technology, Changsha, Hunan, P.R. China"}]},{"given":"QingPing","family":"Tan","sequence":"additional","affiliation":[{"name":"National University of Defense Technology, Changsha, Hunan, P.R. China"}]},{"given":"Yong","family":"Xiao","sequence":"additional","affiliation":[{"name":"National University of Defense Technology, Changsha, Hunan, P.R. China"}]}],"member":"320","published-online":{"date-parts":[[2005,11,4]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"K. Jensen \"Colored Petri Nets Basic Concepts Analysis Methods and Practical Use\" Volume 1 2 and 3 second edition 1996.]]   K. Jensen \"Colored Petri Nets Basic Concepts Analysis Methods and Practical Use\" Volume 1 2 and 3 second edition 1996.]]"},{"key":"e_1_3_2_1_2_1","first-page":"63","volume-title":"Proceeding of CSDUML 2003: Workshop on Critical Systems Development with UML","author":"Varr\u00f3 D.","year":"2003"},{"key":"e_1_3_2_1_3_1","unstructured":"S. Nakajima \"Verification of Web service flows with model-checking techniques \" presented at First International Symposium on Cyber Worlds 2002.]]   S. Nakajima \"Verification of Web service flows with model-checking techniques \" presented at First International Symposium on Cyber Worlds 2002.]]"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/645343.650326"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings. 18th IEEE International Conference on","author":"Foster H.","year":"2003"},{"key":"e_1_3_2_1_6_1","first-page":"96","volume-title":"Lausanne","author":"Koehler J.","year":"2002"},{"key":"e_1_3_2_1_7_1","volume-title":"York University","author":"Koshkina M.","year":"2003"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/646673.699325"},{"key":"e_1_3_2_1_9_1","series-title":"Lecture Notes in Computer Science","first-page":"407","volume-title":"Proceedings of the 18th International Conference on Applications and Theory in Petri Nets","author":"van der Aalst W.M.P.","year":"1997"},{"key":"e_1_3_2_1_10_1","unstructured":"A. Martens. \"Distributed Business Processes -- Modeling and Verification by help of Web Services\". PhD thesis Humboldt-Universit\u00e4t zu Berlin July 2003. Available at www.informatik.hu-berlin.de\/top\/download\/documents\/pdf\/Mar03.pdf.]]  A. Martens. \"Distributed Business Processes -- Modeling and Verification by help of Web Services\". PhD thesis Humboldt-Universit\u00e4t zu Berlin July 2003. Available at www.informatik.hu-berlin.de\/top\/download\/documents\/pdf\/Mar03.pdf.]]"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(03)00228-7"},{"key":"e_1_3_2_1_12_1","unstructured":"Christian Stahl. \"Transformation von BPEL4WS in Petrinetze\". Diplomarbeit Humboldt-Universit\u00fcat zu Berlin April 2004.]]  Christian Stahl. \"Transformation von BPEL4WS in Petrinetze\". Diplomarbeit Humboldt-Universit\u00fcat zu Berlin April 2004.]]"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008656726700"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/NWESP.2005.77"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/11568346_38"},{"key":"e_1_3_2_1_16_1","unstructured":"F. Leymann etc. Web Services Flow language. Available at http:\/\/www.ibm.com\/software\/solutions\/webservices\/pdf\/ http:\/\/www.ibm.com\/software\/solutions\/webservices\/pdf\/WSFL.pdf May 2001.]]  F. Leymann etc. Web Services Flow language. Available at http:\/\/www.ibm.com\/software\/solutions\/webservices\/pdf\/ http:\/\/www.ibm.com\/software\/solutions\/webservices\/pdf\/WSFL.pdf May 2001.]]"},{"key":"e_1_3_2_1_17_1","unstructured":"T. Andrews F. Curbera H. Dholakia Y. Goland J. Klein F. Leymann K. Liu D. Roller D. Smith S. Thatte I. Trickovic and S.Weerawarana. Business Process Execution Language for Web Services (BPEL4WS) version 1.1 May 2003.]]  T. Andrews F. Curbera H. Dholakia Y. Goland J. Klein F. Leymann K. Liu D. Roller D. Smith S. Thatte I. Trickovic and S.Weerawarana. Business Process Execution Language for Web Services (BPEL4WS) version 1.1 May 2003.]]"},{"key":"e_1_3_2_1_18_1","unstructured":"Web Services Composition Interface 1.0 Available at http:\/\/ifr.sap.com\/wsci\/specification\/wsci-spec-10.htm]]  Web Services Composition Interface 1.0 Available at http:\/\/ifr.sap.com\/wsci\/specification\/wsci-spec-10.htm]]"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 19th VLDB Conference","author":"Miller R. J.","year":"1993"},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of VLDB-TES 2001","author":"Mecella M.","year":"2001"},{"key":"e_1_3_2_1_21_1","first-page":"465","volume-title":"International Conference on Application and Theory of Petri Nets, LNCS","author":"Schmidt Karsten","year":"1825"}],"event":{"name":"CIKM05: Conference on Information and Knowledge Management","location":"Bremen Germany","acronym":"CIKM05","sponsor":["ACM Association for Computing Machinery","SIGIR ACM Special Interest Group on Information Retrieval"]},"container-title":["Proceedings of the first international workshop on Interoperability of heterogeneous information systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1096967.1096977","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1096967.1096977","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:18:39Z","timestamp":1750263519000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1096967.1096977"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,11,4]]},"references-count":21,"alternative-id":["10.1145\/1096967.1096977","10.1145\/1096967"],"URL":"https:\/\/doi.org\/10.1145\/1096967.1096977","relation":{},"subject":[],"published":{"date-parts":[[2005,11,4]]},"assertion":[{"value":"2005-11-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}