{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T15:08:42Z","timestamp":1759072122031,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319230627"},{"type":"electronic","value":"9783319230634"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23063-4_4","type":"book-chapter","created":{"date-parts":[[2015,8,12]],"date-time":"2015-08-12T15:57:06Z","timestamp":1439395026000},"page":"55-71","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Specification and Verification of Complex Business Processes - A High-Level Petri Net-Based Approach"],"prefix":"10.1007","author":[{"given":"Ahmed","family":"Kheldoun","sequence":"first","affiliation":[]},{"given":"Kamel","family":"Barkaoui","sequence":"additional","affiliation":[]},{"given":"Malika","family":"Ioualalen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,8,13]]},"reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/978-3-540-78238-4_24","volume-title":"Business Process Management Workshops","author":"K Barkaoui","year":"2008","unstructured":"Barkaoui, K., Hicheur, A.: Towards analysis of flexible and collaborative workflow using recursive ECATNets. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol. 4928, pp. 232\u2013244. Springer, Heidelberg (2008)"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science Series","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-642-01364-5_2","volume-title":"Web Services and Formal Methods","author":"K Barkaoui","year":"2008","unstructured":"Barkaoui, K., Boucheneb, H., Hicheur, A.: Modelling and analysis of time-constrained flexible workflows with time recursive ECATNet. In: Bruni, R., Wolf, K. (eds.) Web Services and Formal Methods. LNCS, vol. 5387, pp. 19\u201336. Springer, Berlin Heidelberg (2008)"},{"key":"4_CR3","unstructured":"Hicheur, A.: Mod\u00e9lisation et Analyse des Processus Workflows Reconfigurables et Distribu\u00e9s par les ECATNets R\u00e9cursifs. Ph.D. dissertation. CEDRIC-CNAM, Paris (2009)"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/3-540-44919-1_31","volume-title":"Applications and Theory of Petri Nets 2003","author":"J Billington","year":"2003","unstructured":"Billington, J., Christensen, S., van Hee, K.M., Kindler, E., Kummer, O., Petrucci, L., Post, R., Stehno, C., Weber, M.: The petri net markup language: concepts, technology, and tools. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 483\u2013505. Springer, Heidelberg (2003)"},{"issue":"12","key":"4_CR5","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"RM Dijkman","year":"2008","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and Analysis of Business Process Models in BPMN. Information and Software Technology 50(12), 1281\u20131294 (2008)","journal-title":"Information and Software Technology"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/BFb0055044","volume-title":"Automata, Languages and Programming","author":"C Dufourd","year":"1998","unstructured":"Dufourd, C., Finkel, A., Schnoebelen, P.: Reset nets between decidability and undecidability. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol. 1443, pp. 103\u2013115. Springer, Heidelberg (1998)"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/S1571-0661(05)82534-4","volume":"71","author":"S Eker","year":"2004","unstructured":"Eker, S., Meseguer, J., Sridharanarayanan, A.: The Maude LTL Model Checker. Electronic Notes in Theoretical Computer Science 71, 162\u2013187 (2004)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"7\u20138","key":"4_CR8","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1007\/s00236-007-0055-y","volume":"44","author":"S Haddad","year":"2007","unstructured":"Haddad, S., Poitrenaud, D.: Recursive Petri nets - Theory and application to discrete event systems. Acta Informatica 44(7\u20138), 463\u2013508 (2007)","journal-title":"Acta Informatica"},{"issue":"1\u20132","key":"4_CR9","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., Bzivin, J., Kurtev, I.: ATL : A model transformation tool. Science of Computer Programming (EST) 72(1\u20132), 31\u201339 (2008). Special Issue on Second issue of experimental software and toolkits","journal-title":"Science of Computer Programming (EST)"},{"issue":"1","key":"4_CR10","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science 96(1), 73\u2013155 (1992)","journal-title":"Theoretical Computer Science"},{"key":"4_CR11","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. 5102, pp. 514\u2013522. Springer, Heidelberg (2008)"},{"key":"4_CR12","unstructured":"O. M. G. (OMG). Business Process Model and Notation (BPMN), Version 2.0. Technical report, January 2011"},{"issue":"14","key":"4_CR13","doi-asserted-by":"publisher","first-page":"3763","DOI":"10.1080\/00207540701199677","volume":"46","author":"C Ou-Yang","year":"2008","unstructured":"Ou-Yang, C., Lin, Y.D.: BPMN-based business process model feasibility analysis: a Petri net approach. International Journal of Production Research 46(14), 3763\u20133781 (2008)","journal-title":"International Journal of Production Research"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/11596141_37","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"C Ouyang","year":"2005","unstructured":"Ouyang, C., Verbeek, E., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M.: WofBPEL: A tool for automated analysis of BPEL processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 484\u2013489. Springer, Heidelberg (2005)"},{"key":"4_CR15","unstructured":"Russell, N., ter Hofstede, A., van der Aalst, W., Mulyar, N.: Workflow Control-Flow Patterns: A Revised View. Technical report, BPM Center (2006)"},{"issue":"4","key":"4_CR16","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"W van der Aalst","year":"2005","unstructured":"van der Aalst, W., ter Hofstede, A.: YAWL: Yet Another Workflow Language. Information Systems 30(4), 245\u2013275 (2005)","journal-title":"Information Systems"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/3-540-44988-4_28","volume-title":"Application and Theory of Petri Nets 2000","author":"HMWE Verbeek","year":"2000","unstructured":"Verbeek, H.M.W.E., van der Aalst, W.M.P.: Woflan 2.0 A petri-net-based workflow diagnosis tool. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol. 1825, pp. 475\u2013484. Springer, Heidelberg (2000)"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Ye, J., Sun, S., Song, W., Wen, L.: Formal semantics of BPMN process models using YAWL. In: Second International Symposium on Intelligent Information Technology Application (IITA), vol. 2, pp. 70\u201374, December 2008","DOI":"10.1109\/IITA.2008.68"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23063-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T11:41:16Z","timestamp":1676029276000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23063-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319230627","9783319230634"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23063-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"13 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}