{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T21:04:20Z","timestamp":1760821460160,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031626968"},{"type":"electronic","value":"9783031626975"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-62697-5_3","type":"book-chapter","created":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T21:01:23Z","timestamp":1718053283000},"page":"38-55","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Encoding Petri Nets into\u00a0CCS"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-2192-3291","authenticated-orcid":false,"given":"Benjamin","family":"Bog\u00f8","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0837-0183","authenticated-orcid":false,"given":"Andrea","family":"Burattin","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1153-6164","authenticated-orcid":false,"given":"Alceste","family":"Scalas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,6,11]]},"reference":[{"key":"3_CR1","unstructured":"van der Aalst, W.M.P.: Pi calculus versus petri nets: let us eat \u201chumble pie\u201d rather than further inflate the \u201cpi hype\u201d. BPTrends 3 (2005)"},{"key":"3_CR2","doi-asserted-by":"publisher","unstructured":"van der Aalst, W.M.P.: Process Mining - Data Science in Action, 2nd edn. Springer (2016). https:\/\/doi.org\/10.1007\/978-3-662-49851-4","DOI":"10.1007\/978-3-662-49851-4"},{"issue":"9","key":"3_CR3","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"WMP van der Aalst","year":"2004","unstructured":"van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow mining: Discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16(9), 1128\u20131142 (2004). https:\/\/doi.org\/10.1109\/TKDE.2004.47","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"3_CR4","doi-asserted-by":"publisher","unstructured":"Aranda, J., Valencia, F.D., Versari, C.: On the expressive power of restriction and priorities in CCS with replication. In: de Alfaro, L. (ed.) Foundations of Software Science and Computational Structures, FOSSACS 2009. LNCS, vol.\u00a05504, pp. 242\u2013256. Springer (2009). https:\/\/doi.org\/10.1007\/978-3-642-00596-1_18","DOI":"10.1007\/978-3-642-00596-1_18"},{"key":"3_CR5","doi-asserted-by":"publisher","unstructured":"Baldan, P., Bonchi, F., Gadducci, F.: Encoding asynchronous interactions using open petri nets. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings. Lecture Notes in Computer Science, vol.\u00a05710, pp. 99\u2013114. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04081-8_8","DOI":"10.1007\/978-3-642-04081-8_8"},{"key":"3_CR6","doi-asserted-by":"publisher","unstructured":"Baldan, P., Bonchi, F., Gadducci, F., Monreale, G.V.: Encoding synchronous interactions using labelled petri nets. In: K\u00fchn, E., Pugliese, R. (eds.) Coordination Models and Languages, COORDINATION 2014. LNCS, vol.\u00a08459, pp. 1\u201316. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-43376-8_1","DOI":"10.1007\/978-3-662-43376-8_1"},{"key":"3_CR7","doi-asserted-by":"publisher","unstructured":"Bog\u00f8, B.: Encoding petri nets into CCS (2024). https:\/\/doi.org\/10.5281\/zenodo.10855866. https:\/\/dtu.bogoe.eu\/tools\/pn2ccs\/","DOI":"10.5281\/zenodo.10855866"},{"key":"3_CR8","doi-asserted-by":"publisher","unstructured":"Bog\u00f8, B., Burattin, A., Scalas, A.: Encoding petri nets into ccs (technical report) (2024). https:\/\/doi.org\/10.48550\/arXiv.2404.14385","DOI":"10.48550\/arXiv.2404.14385"},{"key":"3_CR9","doi-asserted-by":"publisher","unstructured":"Bunte, O., et al.: The mcrl2 toolset for analysing concurrent systems - improvements in expressivity and usability. In: Vojnar, T., Zhang, L. (eds.) Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019. LNCS, vol. 11428, pp. 21\u201339. Springer, Heidelberg (2019). https:\/\/doi.org\/10.1007\/978-3-030-17465-1_2","DOI":"10.1007\/978-3-030-17465-1_2"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Desel, J., Esparza, J.: Free Choice Petri Nets, no. 40. Cambridge University Press (1995)","DOI":"10.1017\/CBO9780511526558"},{"key":"3_CR11","doi-asserted-by":"publisher","unstructured":"van Dongen, B.F., de Medeiros, A.K.A., Wen, L.: Process mining: overview and outlook of petri net discovery algorithms. Trans. Petri Nets Other Model. Concurr. 2, 225\u2013242 (2009). https:\/\/doi.org\/10.1007\/978-3-642-00899-3_13","DOI":"10.1007\/978-3-642-00899-3_13"},{"key":"3_CR12","doi-asserted-by":"publisher","unstructured":"Goltz, U.: CCS and petri nets. In: Guessarian, I. (ed.) Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science. LNCS, vol.\u00a0469, pp. 334\u2013357. Springer, Heidelberg (1990). https:\/\/doi.org\/10.1007\/3-540-53479-2_14","DOI":"10.1007\/3-540-53479-2_14"},{"key":"3_CR13","doi-asserted-by":"publisher","unstructured":"Gorrieri, R., Versari, C.: A process calculus for expressing finite place\/transition petri nets. In: Fr\u00f6schle, S.B., Valencia, F.D. (eds.) Proceedings 17th International Workshop on Expressiveness in Concurrency, EXPRESS 2010, Paris. EPTCS, vol. 41, pp. 76\u201390 (2010). https:\/\/doi.org\/10.4204\/EPTCS.41.6","DOI":"10.4204\/EPTCS.41.6"},{"key":"3_CR14","doi-asserted-by":"publisher","unstructured":"Gorrieri, R., Versari, C.: Introduction to Concurrency Theory - Transition Systems and CCS. Texts in Theoretical Computer Science. An EATCS Series. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21491-7","DOI":"10.1007\/978-3-319-21491-7"},{"key":"3_CR15","doi-asserted-by":"publisher","unstructured":"Meyer, R., Khomenko, V., H\u00fcchting, R.: A polynomial translation of $$\\pi $$-calculus (FCP) to safe petri nets. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol.\u00a07454, pp. 440\u2013455. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32940-1_31","DOI":"10.1007\/978-3-642-32940-1_31"},{"key":"3_CR16","unstructured":"Stefansen, C.: SMAWL: a small workflow language based on CCS. In: Belo, O., Eder, J., e\u00a0Cunha, J.F., Pastor, O. (eds.) The 17th Conference on Advanced Information Systems Engineering (CAiSE 2005), Porto, 13\u201317 June 2005, CAiSE Forum, Short Paper Proceedings. CEUR Workshop Proceedings, vol.\u00a0161. CEUR-WS.org (2005)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-62697-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T21:01:59Z","timestamp":1718053319000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-62697-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031626968","9783031626975"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-62697-5_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"11 June 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"COORDINATION","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Coordination Models and Languages","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Groningen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coordination2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}