{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T18:29:31Z","timestamp":1760898571572,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662653029"},{"type":"electronic","value":"9783662653036"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-662-65303-6_3","type":"book-chapter","created":{"date-parts":[[2022,4,19]],"date-time":"2022-04-19T06:02:49Z","timestamp":1650348169000},"page":"49-72","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Distributed Synthesis of\u00a0Asynchronously Communicating Distributed Process Models"],"prefix":"10.1007","author":[{"given":"Pieter","family":"Kwantes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jetty","family":"Kleijn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,4,20]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-642-01918-0_2","volume-title":"Formal Methods for Web Services","author":"WMP van der Aalst","year":"2009","unstructured":"van der Aalst, W.M.P., Mooij, A.J., Stahl, C., Wolf, K.: Service interaction: patterns, formalization, and analysis. In: Bernardo, M., Padovani, L., Zavattaro, G. (eds.) SFM 2009. LNCS, vol. 5569, pp. 42\u201388. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-01918-0_2"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-28872-2_1","volume-title":"Fundamental Approaches to Software Engineering","author":"WMP Aalst","year":"2012","unstructured":"Aalst, W.M.P.: Distributed process discovery and conformance checking. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 1\u201325. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28872-2_1"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/978-3-642-36926-1_24","volume-title":"Seminal Contributions to Information Systems Engineering","author":"WMP van der Aalst","year":"2013","unstructured":"van der Aalst, W.M.P., Weske, M.: Reflections on a decade of interorganizational workflow research. In: Seminal Contributions to Information Systems Engineering, pp. 307\u2013313. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36926-1_24"},{"issue":"4","key":"3_CR4","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/s10619-013-7127-5","volume":"31","author":"WMP van der Aalst","year":"2013","unstructured":"van der Aalst, W.M.P.: Decomposing petri nets for process mining: a generic approach. Distr. Parallel Databases 31(4), 471\u2013507 (2013)","journal-title":"Distr. Parallel Databases"},{"issue":"4","key":"3_CR5","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1109\/TSC.2012.25","volume":"6","author":"WMP van der Aalst","year":"2013","unstructured":"van der Aalst, W.M.P.: Service mining: using process mining to discover, check, and improve service behavior. IEEE Trans. Serv. Comput. 6(4), 525\u2013535 (2013)","journal-title":"IEEE Trans. Serv. Comput."},{"key":"3_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49851-4","volume-title":"Process Mining - Data Science in Action","author":"WMP van der Aalst","year":"2019","unstructured":"van der Aalst, W.M.P.: Process Mining - Data Science in Action, 2nd edn. Springer, Heidelberg (2019). https:\/\/doi.org\/10.1007\/978-3-662-49851-4","edition":"2"},{"key":"3_CR7","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/8811.001.0001","volume-title":"Modeling Business Processes - A Petri Net-Oriented Approach","author":"WMP van der Aalst","year":"2011","unstructured":"van der Aalst, W.M.P., Stahl, C.: Modeling Business Processes - A Petri Net-Oriented Approach. MIT Press, Cambridge (2011)"},{"issue":"4","key":"3_CR8","doi-asserted-by":"publisher","first-page":"686","DOI":"10.1109\/TKDE.2018.2841877","volume":"31","author":"A Augusto","year":"2019","unstructured":"Augusto, A., et al.: Automated discovery of process models from event logs: review and benchmark. IEEE Trans. Knowl. Data Eng. 31(4), 686\u2013705 (2019)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1007\/3-540-44685-0_34","volume-title":"CONCUR 2001 \u2014 Concurrency Theory","author":"P Baldan","year":"2001","unstructured":"Baldan, P., Corradini, A., Ehrig, H., Heckel, R.: Compositional modeling of reactive systems using open nets. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, pp. 502\u2013518. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-44685-0_34"},{"key":"3_CR10","unstructured":"Bernardinello, L., Lomazova, I.A., Nesterov, R., Pomello, L.: Compositional discovery of workflow nets from event logs using morphisms. In: ATAED 2018. CEUR Workshop Proceedings, vol. 2115, pp. 39\u201355 (2018)"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/BFb0030594","volume-title":"TAPSOFT 1997: Theory and Practice of Software Development","author":"I Biermann","year":"1997","unstructured":"Biermann, I., Rozoy, B.: Reliable generalized and context dependent commutation relations. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997. LNCS, vol. 1214, pp. 165\u2013176. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/BFb0030594"},{"key":"3_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99414-7","volume-title":"Conformance Checking - Relating Processes and Models","author":"J Carmona","year":"2018","unstructured":"Carmona, J., van Dongen, B.F., Solti, A., Weidlich, M.: Conformance Checking - Relating Processes and Models. Springer, Switzerland (2018). https:\/\/doi.org\/10.1007\/978-3-319-99414-7"},{"key":"3_CR13","unstructured":"EDSN: Marktfacilitering. [In Dutch] (2018).https:\/\/www.edsn.nl\/"},{"issue":"2","key":"3_CR14","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1109\/TII.2005.844433","volume":"1","author":"L Gomes","year":"2005","unstructured":"Gomes, L., Paulo Barros, J.: Structuring and composability issues in petri nets modeling. IEEE Trans. Indus. Inform. 1(2), 112\u2013123 (2005)","journal-title":"IEEE Trans. Indus. Inform."},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/978-3-642-38697-8_20","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"S Haddad","year":"2013","unstructured":"Haddad, S., Hennicker, R., M\u00f8ller, M.H.: Channel properties of asynchronously composed petri nets. In: Colom, J.-M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol. 7927, pp. 369\u2013388. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38697-8_20"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-540-40022-6_14","volume-title":"Petri Net Technology for Communication-Based Systems","author":"R Heckel","year":"2003","unstructured":"Heckel, R.: Open petri nets as semantic model for workflow integration. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 281\u2013294. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-40022-6_14"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1142\/9789814261456_0002","volume-title":"The Book of Traces","author":"HJ Hoogeboom","year":"1995","unstructured":"Hoogeboom, H.J., Rozenberg, G.: Dependence graphs. In: Diekert, V., Rozenberg, G. (eds.) The Book of Traces, pp. 43\u201367. World Scientific, Singapore (1995)"},{"key":"3_CR18","unstructured":"HL7: Health Level Seven International (2015). http:\/\/www.hl7.org\/"},{"issue":"1","key":"3_CR19","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1006\/inco.1995.1032","volume":"117","author":"PW Hoogers","year":"1995","unstructured":"Hoogers, P.W., Kleijn, H.C.M., Thiagarajan, P.S.: A trace semantics for petri nets. Inf. Comput. 117(1), 98\u2013114 (1995)","journal-title":"Inf. Comput."},{"key":"3_CR20","unstructured":"Kwantes, P.M., Kleijn, J.: On discovering distributed process models - the case of asynchronous communication. In: ATAED 2020. CEUR Workshop Proceedings, vol. 2625, pp. 49\u201365 (2020)"},{"key":"3_CR21","unstructured":"Kwantes, P.M., Kleijn, J.: On the synthesis of industry level process models from enterprise level process models. In: ATAED 2018 CEUR Workshop Proceedings, vol. 2115, pp. 6\u201322 (2018)"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-642-38697-8_17","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"SJJ Leemans","year":"2013","unstructured":"Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Discovering block-structured process models from event logs - a constructive approach. In: Colom, J.-M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol. 7927, pp. 311\u2013329. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38697-8_17"},{"key":"3_CR23","unstructured":"Massuthe, P., Reisig, W., Schmidt, K.: An Operating Guideline Approach to the SOA. Humboldt-Universitat zu Berlin, Mathematisch-Naturwissenschaftliche Fakultat II, Institut fur Informatik (2005)"},{"key":"3_CR24","unstructured":"S.W.I.F.T: ISO20022 Universal financial industry message scheme (2015). http:\/\/www.iso20022.org"},{"key":"3_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/3-540-17906-2_30","volume-title":"Petri Nets: Applications and Relationships to Other Models of Concurrency","author":"A Mazurkiewicz","year":"1987","unstructured":"Mazurkiewicz, A.: Trace theory. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) ACPN 1986. LNCS, vol. 255, pp. 278\u2013324. Springer, Heidelberg (1987). https:\/\/doi.org\/10.1007\/3-540-17906-2_30"},{"issue":"3\u20134","key":"3_CR26","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/s00450-017-0383-2","volume":"33","author":"W Reisig","year":"2018","unstructured":"Reisig, W.: Towards a conceptual foundation of service composition. Comput. Sci. Res. Dev. 33(3\u20134), 281\u2013289 (2018)","journal-title":"Comput. Sci. Res. Dev."},{"issue":"3","key":"3_CR27","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s00236-018-0328-7","volume":"56","author":"W Reisig","year":"2019","unstructured":"Reisig, W.: Associative composition of components with double-sided interfaces. Acta Inf. 56(3), 229\u2013253 (2019)","journal-title":"Acta Inf."},{"key":"3_CR28","unstructured":"GS1US: RosettaNet (2018). http:\/\/www.rosettanet.org\/"},{"key":"3_CR29","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-00899-3_9","volume":"2","author":"K Wolf","year":"2009","unstructured":"Wolf, K.: Does my service have partners? Trans. Petri Nets Other Model. Concurr. 2, 152\u2013171 (2009)","journal-title":"Trans. Petri Nets Other Model. Concurr."},{"key":"3_CR30","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1007\/BF02667189","volume":"33","author":"D Zaitsev","year":"1997","unstructured":"Zaitsev, D., Sleptsov, A.: State equations and equivalent transformations for timed petri nets. Cybern. Syst. Anal. 33, 659\u2013672 (1997)","journal-title":"Cybern. Syst. Anal."},{"key":"3_CR31","first-page":"131","volume":"4","author":"D Zaitsev","year":"2004","unstructured":"Zaitsev, D.: Decomposition of petri nets. Cybern. Syst. Anal. 4, 131\u2013140 (2004)","journal-title":"Cybern. Syst. Anal."}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency XVI"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-65303-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,19]],"date-time":"2022-04-19T06:03:37Z","timestamp":1650348217000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-65303-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783662653029","9783662653036"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-65303-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"20 April 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}