{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T06:33:32Z","timestamp":1761978812031,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":58,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642452628"},{"type":"electronic","value":"9783642452635"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45263-5_5","type":"book-chapter","created":{"date-parts":[[2013,11,21]],"date-time":"2013-11-21T07:08:15Z","timestamp":1385017695000},"page":"83-122","source":"Crossref","is-referenced-by-count":7,"title":["Web Service Composition Based on Petri Nets: Review and Contribution"],"prefix":"10.1007","author":[{"given":"Yudith","family":"Cardinale","sequence":"first","affiliation":[]},{"given":"Joyce","family":"El Haddad","sequence":"additional","affiliation":[]},{"given":"Maude","family":"Manouvrier","sequence":"additional","affiliation":[]},{"given":"Marta","family":"Rukoz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Angarita, R., Cardinale, Y., Rukoz, M.: FaCETa: Backward and Forward Recovery for Execution of Transactional Composite WS. In: Proc. of Fifth International Workshop on REsource Discovery (RED 2012), Heraklion, Grece, pp. 1\u201315 (2012)"},{"key":"5_CR2","unstructured":"Azevedo, V., Mattoso, M., Pires, P.: Handling Dissimilarities of Autonomous and Equivalent Web Services. In: Proc. of Caise-WES (2003)"},{"issue":"1","key":"5_CR3","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/TSC.2010.13","volume":"3","author":"Y. Badr","year":"2010","unstructured":"Badr, Y., Benslimane, D., Maamar, Z., Liu, L.: Guest Editorial: Special Section on Transactional Web Services. IEEE T. Services Computing\u00a03(1), 30\u201331 (2010)","journal-title":"IEEE T. Services Computing"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Behl, J., Distler, T., Heisig, F., Kapitza, R., Schunter, M.: Providing Fault-tolerant Execution of Web-service based Workflows within Clouds. In: Proc. of the 2nd Internat. Workshop on Cloud Computing Platforms, CloudCP (2012)","DOI":"10.1145\/2168697.2168704"},{"issue":"1","key":"5_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00778-007-0076-8","volume":"18","author":"N. Ben Lakhal","year":"2009","unstructured":"Ben Lakhal, N., Kobayashi, T., Yokota, H.: FENECIA: failure endurable nested-transaction based execution of composite Web services with incorporated state analysis. VLDB Journal\u00a018(1), 1\u201356 (2009)","journal-title":"VLDB Journal"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Blanco, E., Cardinale, Y., Vidal, M.-E.: Aggregating Functional and Non-Functional Properties to Identify Service Compositions, pp. 1\u201336. IGI BOOK (2011)","DOI":"10.4018\/978-1-60960-493-6.ch008"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-540-68746-7_8","volume-title":"Applications and Theory of Petri Nets","author":"F. Bonchi","year":"2008","unstructured":"Bonchi, F., Brogi, A., Corfini, S., Gadducci, F.: Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study. In: van Hee, K.M., Valk, R. (eds.) PETRI NETS 2008. LNCS, vol.\u00a05062, pp. 52\u201371. Springer, Heidelberg (2008)"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"89","DOI":"10.4236\/jsea.2012.52014","volume":"5","author":"O. Bushehrian","year":"2012","unstructured":"Bushehrian, O., Zare, S., Keihani Rad, N.: A Workflow-Based Failure Recovery in Web Services Composition. Journal of Software Engineering and Applications\u00a05, 89\u201395 (2012)","journal-title":"Journal of Software Engineering and Applications"},{"issue":"1","key":"5_CR9","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1504\/IJWGS.2011.038389","volume":"7","author":"Y. Cardinale","year":"2011","unstructured":"Cardinale, Y., El Haddad, J., Manouvrier, M., Rukoz, M.: CPN-TWS: a coloured petri-net approach for transactional-QoS driven Web Service composition. IJWGS\u00a07(1), 91\u2013115 (2011)","journal-title":"IJWGS"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Cardinale, Y., El Haddad, J., Manouvrier, M., Rukoz, M.: Transactional-aware Web Service Composition: A Survey. IGI Global - Advances in Knowledge Management (AKM) Book Series, ch.\u00a06, pp. 116\u2013141 (2011)","DOI":"10.4018\/978-1-61350-432-1.ch006"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Cardinale, Y., Rukoz, M.: Fault Tolerant Execution of Transactional Composite Web Services: An Approach. In: Proceedings UBICOMM, Lisbon, Portugal, pp. 1\u20136 (2011)","DOI":"10.1145\/2077489.2077513"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Cardinale, Y., Rukoz, M.: A framework for reliable execution of transactional composite web services. In: MEDES, pp. 129\u2013136 (2011)","DOI":"10.1145\/2077489.2077513"},{"issue":"2","key":"5_CR13","doi-asserted-by":"publisher","first-page":"1500","DOI":"10.1016\/j.eswa.2007.01.022","volume":"34","author":"Y.-L. Chi","year":"2008","unstructured":"Chi, Y.-L., Lee, H.-M.: A formal modeling platform for composing web services. Expert Syst. Appl.\u00a034(2), 1500\u20131507 (2008)","journal-title":"Expert Syst. Appl."},{"issue":"5","key":"5_CR14","first-page":"1309","volume":"24","author":"Z. Ding","year":"2008","unstructured":"Ding, Z., Wang, J., Jiang, C.: An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service. J. Inf. Sci. Eng.\u00a024(5), 1309\u20131328 (2008)","journal-title":"J. Inf. Sci. Eng."},{"issue":"4","key":"5_CR15","first-page":"516","volume":"5","author":"Y. Dong","year":"2010","unstructured":"Dong, Y., Xia, Y., Sun, T., Zhu, Q.: Modeling and performance evaluation of service choreography based on stochastic petri net. JCP\u00a05(4), 516\u2013523 (2010)","journal-title":"JCP"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Du, Y., Li, X., Xiong, P.: A Petri Net Approach to Mediation-aided Composition of Web Services. IEEE Transactions on Automation Science and Engineering (2012) (to appear)","DOI":"10.1109\/TASE.2012.2188511"},{"issue":"1","key":"5_CR17","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1109\/TSC.2010.5","volume":"3","author":"J. Haddad El","year":"2010","unstructured":"El Haddad, J., Manouvrier, M., Rukoz, M.: TQoS: Transactional and QoS-aware selection algorithm for automatic Web service composition. IEEE Trans. on Services Computing\u00a03(1), 73\u201385 (2010)","journal-title":"IEEE Trans. on Services Computing"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Fang, X., Jiang, C., Fan, X.: Independent global constraints for web service composition based on GA and APN. In: Proc. of the First ACM\/SIGEVO Summit on Genetic and Evolutionary Computation, GEC 2009, pp. 119\u2013126 (2009)","DOI":"10.1145\/1543834.1543852"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Gabrel, V., Manouvrier, M., Megdiche, I., Murat, C.: A new 0-1 linear program for qos and transactional-aware web service composition. In: 4th IEEE Int. Workshop on Performance Evaluation of Communications in Distributed Systems and Web based Service Architectures (PEDISWESA), Cappadocia, Turkey (2012) (to appear)","DOI":"10.1109\/ISCC.2012.6249407"},{"key":"5_CR20","unstructured":"Hamadi, R., Benatallah, B.: A Petri net-based Model for Web Service Composition. In: Proc. of the 14th Australasian Database Conf., ADC 2003, vol.\u00a017, pp. 191\u2013200 (2003)"},{"key":"5_CR21","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1109\/MC.2009.30","volume":"42","author":"J. Hendler","year":"2009","unstructured":"Hendler, J.: Web 3.0 emerging. Computer\u00a042, 111\u2013113 (2009)","journal-title":"Computer"},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/11538394_15","volume-title":"Business Process Management","author":"S. Hinz","year":"2005","unstructured":"Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to Petri nets. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 220\u2013235. Springer, Heidelberg (2005)"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Jaeger, M.C., Rojec-Goldmann, G., M\u00fchl, G.: QoS Aggregation for Web Service Composition using Workflow Patterns. In: 8th Int. Enterprise Distributed Object Computing Conf. (EDOC), Monterey, California, USA, pp. 149\u2013159 (2004)","DOI":"10.1109\/EDOC.2004.1342512"},{"issue":"1","key":"5_CR24","first-page":"149","volume":"7","author":"B. Li","year":"2012","unstructured":"Li, B., Xu, Y., Wu, J., Zhu, J.: A petri-net and qos based model for automatic web service composition. Journal of Software\u00a07(1), 149\u2013155 (2012)","journal-title":"Journal of Software"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Li, Q., Liu, A., Liu, H., Lin, B., Huang, L., Gu, N.: Web services provision: solutions, challenges and opportunities (invited paper). In: Proc. of the 3rd Int. Conf. on Ubiquitous Information Management and Communication, ICUIMC 2009, pp. 80\u201387 (2009)","DOI":"10.1145\/1516241.1516257"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Li, X., Fan, Y., Sheng, Q.Z., Maamar, Z., Zhu, H.: A Petri Net Approach to Analyzing Behavioral Compatibility and Similarity of Web Services. IEEE Trans. on Systems, Man, and Cybernetics, Part A, 510\u2013521 (2011)","DOI":"10.1109\/TSMCA.2010.2093884"},{"issue":"1","key":"5_CR27","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/TSC.2009.28","volume":"3","author":"A. Liu","year":"2010","unstructured":"Liu, A., Li, Q., Huang, L., Xiao, M.: FACTS: A Framework for Fault Tolerant Composition of Transactional Web Services. IEEE Trans. on Services Computing\u00a03(1), 46\u201359 (2010)","journal-title":"IEEE Trans. on Services Computing"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Liu, X., Xu, Z.: Independent Global Constraints Web Service Composition Optimization Based on Color Petri Net. In: Proc. of Int. Conf. on Computational Intelligence and Natural Computing, CINC 2009, vol. 02, pp. 217\u2013220 (2009)","DOI":"10.1109\/CINC.2009.73"},{"issue":"1","key":"5_CR29","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1016\/j.datak.2007.06.006","volume":"64","author":"N. Lohmann","year":"2008","unstructured":"Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing interacting WS-BPEL processes using flexible model generation. Data Knowl. Eng.\u00a064(1), 38\u201354 (2008)","journal-title":"Data Knowl. Eng."},{"key":"5_CR30","doi-asserted-by":"crossref","unstructured":"Lohmann, N., Verbeek, E., Dijkman, R.: Petri net transformations for business processes \u2014 a survey. In: Jensen, K., van der Aalst, W.M.P. (eds.) ToPNoC II. LNCS, vol.\u00a05460, pp. 46\u201363. Springer, Heidelberg (2009)","DOI":"10.1007\/978-3-642-00899-3_3"},{"issue":"11","key":"5_CR31","doi-asserted-by":"publisher","first-page":"1292","DOI":"10.4304\/jsw.5.11.1292-1299","volume":"5","author":"C. Mao","year":"2010","unstructured":"Mao, C.: Control Flow Complexity Metrics for Petri Net-based Web Service Composition. Journal of Software\u00a05(11), 1292\u20131299 (2010)","journal-title":"Journal of Software"},{"key":"5_CR32","first-page":"12","volume":"65","author":"A. Martens","year":"2003","unstructured":"Martens, A.: On compatibility of web services. Petri Net Newsletter\u00a065, 12\u201320 (2003)","journal-title":"Petri Net Newsletter"},{"key":"5_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-31984-9_3","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Martens","year":"2005","unstructured":"Martens, A.: Analyzing Web Service Based Business Processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 19\u201333. Springer, Heidelberg (2005)"},{"key":"5_CR34","first-page":"35","volume":"1","author":"P. Massuthe","year":"2005","unstructured":"Massuthe, P., Reisig, W., Schmidt, K.: An Operating Guideline Approach to the SOA. Annals of Mathematics, Computing and Teleinformatics\u00a01, 35\u201343 (2005)","journal-title":"Annals of Mathematics, Computing and Teleinformatics"},{"issue":"4","key":"5_CR35","doi-asserted-by":"publisher","first-page":"169","DOI":"10.4156\/aiss.vol3.issue4.21","volume":"3","author":"X. Mei","year":"2011","unstructured":"Mei, X., Jiang, A., Li, S., Huang, C., Zheng, X., Fan, Y.: A Compensation Paired Net-based Refinement Method for Web Services Composition. Advances in Information Sciences and Service Sciences\u00a03(4), 169\u2013181 (2011)","journal-title":"Advances in Information Sciences and Service Sciences"},{"key":"5_CR36","doi-asserted-by":"crossref","unstructured":"Mei, X., Jiang, A., Zheng, F., Li, S.: Reliable Transactional Web Service Composition Using Refinement Method. In: Proc. of the 2009 WASE Int. Conf. on Information Engineering, ICIE 2009, vol. 01, pp. 422\u2013426 (2009)","DOI":"10.1109\/ICIE.2009.169"},{"issue":"1","key":"5_CR37","doi-asserted-by":"publisher","first-page":"24","DOI":"10.4018\/jwsr.2008010102","volume":"5","author":"F. Montagut","year":"2008","unstructured":"Montagut, F., Molva, R., Tecumseh Golega, S.: Automating the Composition of Transactional Web Services. Int. J. Web Service Res.\u00a05(1), 24\u201341 (2008)","journal-title":"Int. J. Web Service Res."},{"key":"5_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1007\/978-3-540-69387-1_58","volume-title":"Computational Science \u2013 ICCS 2008","author":"S. Morimoto","year":"2008","unstructured":"Morimoto, S.: A Survey of Formal Verification for Business Process Modeling. In: Bubak, M., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds.) ICCS 2008, Part II. LNCS, vol.\u00a05102, pp. 514\u2013522. Springer, Heidelberg (2008)"},{"key":"5_CR39","series-title":"SCI","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-03958-4_1","volume-title":"New Challenges in Computational Collective Intelligence","author":"E. Ochma\u0144ska","year":"2009","unstructured":"Ochma\u0144ska, E.: Web Services Composition Framework with Petri Net Based Schemas. In: Nguyen, N.T., Katarzyniak, R.P., Janiak, A. (eds.) New Challenges in Computational Collective Intelligence. SCI, vol.\u00a0244, pp. 3\u201314. Springer, Heidelberg (2009)"},{"issue":"2-3","key":"5_CR40","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.scico.2007.03.002","volume":"67","author":"C. Ouyang","year":"2007","unstructured":"Ouyang, C., Verbeek, E., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M.: Formal semantics and analysis of control flow in WS-BPEL. Sci. Comput. Program.\u00a067(2-3), 162\u2013198 (2007)","journal-title":"Sci. Comput. Program."},{"key":"5_CR41","doi-asserted-by":"crossref","unstructured":"Qian, Z., Lu, S., Xie, L.: Colored Petri Net Based Automatic Service Composition. In: Proc. of the 2nd IEEE Asia-Pacific Service Computing Conf., pp. 431\u2013438 (2007)","DOI":"10.1109\/APSCC.2007.16"},{"key":"5_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-16901-4_10","volume-title":"Formal Methods and Software Engineering","author":"F. Rabbi","year":"2010","unstructured":"Rabbi, F., Wang, H., MacCaull, W.: Compensable workflow nets. In: Dong, J.S., Zhu, H. (eds.) ICFEM 2010. LNCS, vol.\u00a06447, pp. 122\u2013137. Springer, Heidelberg (2010)"},{"key":"5_CR43","doi-asserted-by":"crossref","unstructured":"Schafer, M., Dolog, P., Nejdl, W.: An environment for flexible advanced compensations of web service transactions. ACM Transactions on the Web\u00a02 (2008)","DOI":"10.1145\/1346337.1346242"},{"issue":"9","key":"5_CR44","doi-asserted-by":"publisher","first-page":"1241","DOI":"10.1109\/TKDE.2007.1068","volume":"19","author":"D.-H. Shih","year":"2007","unstructured":"Shih, D.-H., Chiang, H.-S., Lin, B.: A Generalized Associative Petri Net for Reasoning. IEEE Trans. on Knowl. and Data Eng.\u00a019(9), 1241\u20131251 (2007)","journal-title":"IEEE Trans. on Knowl. and Data Eng."},{"issue":"1","key":"5_CR45","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1109\/TASE.2008.916747","volume":"6","author":"W. Tan","year":"2009","unstructured":"Tan, W., Fan, Y., Zhou, M.: A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language. IEEE T. Automation Science and Engineering\u00a06(1), 94\u2013106 (2009)","journal-title":"IEEE T. Automation Science and Engineering"},{"key":"5_CR46","doi-asserted-by":"crossref","unstructured":"Thomas, J.P., Thomas, M., Ghinea, G.: Modeling of web services flow. In: IEEE Int. Conf. on E-Commerce (CEC), Stillwater, OK, USA, pp. 391\u2013398 (2003)","DOI":"10.1109\/COEC.2003.1210275"},{"issue":"3","key":"5_CR47","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1016\/j.scico.2011.05.002","volume":"77","author":"V. Valero","year":"2012","unstructured":"Valero, V., Maci\u00e0, H., Pardo, J.J., Cambronero, M.E., D\u00edaz, G.: Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets. Sci. Comput. Program.\u00a077(3), 290\u2013313 (2012)","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"5_CR48","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"The Journal of Circuits, Systems and Computers"},{"key":"5_CR49","unstructured":"W3C, Web Services Choreography Description Language (WS-CDL) (2004), http:\/\/www.w3.org\/TR\/2004\/WD-ws-cdl-10-20041217\/ (extracted on April 2012)"},{"key":"5_CR50","unstructured":"Wang, Y., Fan, Y., Jiang, A.: A paired-net based compensation mechanism for verifying Web composition transactions. In: 4th International Conference on New Trends in Information Science and Service Science (NISS), pp. 1\u20136 (2010)"},{"issue":"2","key":"5_CR51","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1109\/TSMCA.2011.2164064","volume":"42","author":"Y. Xia","year":"2012","unstructured":"Xia, Y., Liu, Y., Liu, J., Zhu, Q.: Modeling and performance evaluation of bpel processes: A stochastic-petri-net-based approach. IEEE Trans. on Systems, Man, and Cybernetics, Part A\u00a042(2), 503\u2013510 (2012)","journal-title":"IEEE Trans. on Systems, Man, and Cybernetics, Part A"},{"issue":"2","key":"5_CR52","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1109\/TSMCA.2009.2037018","volume":"40","author":"P. Xiong","year":"2010","unstructured":"Xiong, P., Fan, Y., Zhou, M.: A Petri Net Approach to Analysis and Composition of Web Services. IEEE Transact. on Systems, Man, and Cybernetics, Part A\u00a040(2), 376\u2013387 (2010)","journal-title":"IEEE Transact. on Systems, Man, and Cybernetics, Part A"},{"key":"5_CR53","doi-asserted-by":"crossref","unstructured":"Yang, Y., Tan, Q., Xiao, Y.: Verifying web services composition based on hierarchical colored petri nets. In: Proc. of the 1st Int. Workshop on Interoperability of Heterogeneous Information Systems, IHIS 2005, pp. 47\u201354 (2005)","DOI":"10.1145\/1096967.1096977"},{"key":"5_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/11610113_25","volume-title":"Frontiers of WWW Research and Development - APWeb 2006","author":"Y. Yang","year":"2006","unstructured":"Yang, Y., Tan, Q., Xiao, Y., Liu, F., Yu, J.: Transform BPEL workflow into hierarchical CP-nets to make tool support for verification. In: Zhou, X., Li, J., Shen, H.T., Kitsuregawa, M., Zhang, Y. (eds.) APWeb 2006. LNCS, vol.\u00a03841, pp. 275\u2013284. Springer, Heidelberg (2006)"},{"key":"5_CR55","unstructured":"Yu, H., Fan, G., Chen, L., Liu, D.: Analyzing time constrained service composition based on Petri net. In: 3rd Int. Symposium on Electronic Commerce and Security Workshops, pp. 68\u201371 (2010)"},{"issue":"3","key":"5_CR56","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1007\/s00778-006-0020-3","volume":"17","author":"Q. Yu","year":"2008","unstructured":"Yu, Q., Liu, X., Bouguettaya, A., Medjahed, B.: Deploying and managing web services: issues, solutions, and directions. The VLDB Journal\u00a017(3), 537\u2013572 (2008)","journal-title":"The VLDB Journal"},{"key":"5_CR57","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/s11741-008-0409-2","volume":"12","author":"Z. Zhang","year":"2008","unstructured":"Zhang, Z., Hong, F., Xiao, H.: A colored petri net-based model for web service composition. Journal of Shanghai University (English Edition)\u00a012, 323\u2013329 (2008)","journal-title":"Journal of Shanghai University (English Edition)"},{"key":"5_CR58","doi-asserted-by":"crossref","unstructured":"Zhao, Z., Wei, J., Lin, L., Ding, X.: A Concurrency Control Mechanism for Composite Service Supporting User-Defined Relaxed Atomicity. In: The 32nd Annual IEEE Int. Computer Software and Applications Conf., pp. 275\u2013278 (2008)","DOI":"10.1109\/COMPSAC.2008.95"}],"container-title":["Lecture Notes in Computer Science","Resource Discovery"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45263-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T22:38:47Z","timestamp":1746052727000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45263-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642452628","9783642452635"],"references-count":58,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45263-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}