{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T09:57:05Z","timestamp":1743069425722,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031614323"},{"type":"electronic","value":"9783031614330"}],"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-61433-0_3","type":"book-chapter","created":{"date-parts":[[2024,6,12]],"date-time":"2024-06-12T16:02:01Z","timestamp":1718208121000},"page":"39-60","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Concurrent Context-Free Grammar for\u00a0Parsing Business Processes with\u00a0Iterated Shuffles"],"prefix":"10.1007","author":[{"given":"Akio","family":"Watanabe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ayumi","family":"Araragi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiroki","family":"Ikeuchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yousuke","family":"Takahashi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,6,13]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Buijs, J.C., van Dongen, B.F., van der Aalst, W.M.P.: Quality dimensions in process discovery: the importance of fitness, precision, generalization and simplicity. Int. J. Cooper. Inf. Syst. 23(01) (2014)","DOI":"10.1142\/S0218843014400012"},{"issue":"1","key":"3_CR2","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.is.2007.07.001","volume":"33","author":"A Rozinat","year":"2008","unstructured":"Rozinat, A., van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64\u201395 (2008)","journal-title":"Inf. Syst."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Watanabe, A., Takahashi, Y., Ikeuchi, H., Matsuda, K.: Grammar-based process model representation for probabilistic conformance checking. In: 2022 4th International Conference on Process Mining, pp. 88\u201395. IEEE (2022)","DOI":"10.1109\/ICPM57379.2022.9980588"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-031-41620-0_7","volume-title":"Business Process Management","author":"E Goulart Rocha","year":"2023","unstructured":"Goulart Rocha, E., van der Aalst, W.M.P.: Polynomial-time conformance checking for process trees. In: Di Francescomarino, C., Burattin, A., Janiesch, C., Sadiq, S. (eds.) BPM 2023. LNCS, vol. 14159, pp. 109\u2013125. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-41620-0_7"},{"key":"3_CR5","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":"2016","unstructured":"van der Aalst, W.M.P.: Process Mining: Data Science in Action, 2nd edn. Springer, Heidelberg (2016)","edition":"2"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-3-030-49435-3_14","volume-title":"Advanced Information Systems Engineering","author":"SJJ Leemans","year":"2020","unstructured":"Leemans, S.J.J., Polyvyanyy, A.: Stochastic-aware conformance checking: an entropy-based approach. In: Dustdar, S., Yu, E., Salinesi, C., Rieu, D., Pant, V. (eds.) CAiSE 2020. LNCS, vol. 12127, pp. 217\u2013233. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-49435-3_14"},{"issue":"7","key":"3_CR7","doi-asserted-by":"publisher","first-page":"1252","DOI":"10.1016\/j.jcss.2015.03.004","volume":"81","author":"S Salvati","year":"2015","unstructured":"Salvati, S.: MIX is a 2-MCFL and the word problem in $$\\mathbb{Z} ^{2}$$ is captured by the IO and the OI hierarchies. J. Comput. Syst. Sci. 81(7), 1252\u20131277 (2015)","journal-title":"J. Comput. Syst. Sci."},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0304-3975(85)90221-X","volume":"38","author":"M Jantzen","year":"1985","unstructured":"Jantzen, M.: Extending regular expressions with iterated shuffle. Theor. Comput. Sci. 38, 223\u2013247 (1985)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR9","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_CR10","doi-asserted-by":"crossref","unstructured":"Adriansyah, A., Sidorova, N., van Dongen, B.F.: Cost-based fitness in conformance checking. In: 2011 11th International Conference on Application of Concurrency to System Design, pp. 57\u201366. IEEE (2011)","DOI":"10.1109\/ACSD.2011.19"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Leemans, S.J., Maggi, F.M., Montali, M.: Enjoy the silence: analysis of stochastic Petri nets with silent transitions. arXiv preprint arXiv:2306.06376 (2023)","DOI":"10.1016\/j.is.2024.102383"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Broda, S., Machiavelo, A., Moreira, N., Reis, R.: Location automata for regular expressions with shuffle and intersection. Inf. Comput. 295 (2023)","DOI":"10.1016\/j.ic.2022.104917"},{"issue":"2","key":"3_CR13","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/0304-3975(91)90374-B","volume":"88","author":"H Seki","year":"1991","unstructured":"Seki, H., Matsumura, T., Fujii, M., Kasami, T.: On multiple context-free grammars. Theor. Comput. Sci. 88(2), 191\u2013229 (1991)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR14","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-642-34044-4_3","volume-title":"Data-Driven Process Discovery and Analysis","author":"W van der Aalst","year":"2012","unstructured":"van der Aalst, W., Buijs, J., van Dongen, B.: Towards improving the representational bias of process mining. In: Aberer, K., Damiani, E., Dillon, T. (eds.) SIMPDA 2011. LNBIP, vol. 116, pp. 39\u201354. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34044-4_3"},{"key":"3_CR15","unstructured":"Hopcroft, E.J., Motwani, R., Ullman, D.J.: The pumping lemma for context free languages. In: Introduction to Automata Theory, Languages, and Computation, 3rd edn., pp. 279\u2013287. Addison Wesley (2006)"},{"key":"3_CR16","unstructured":"Hegerle, B.: Parsing Transformative LR (1) Languages. arXiv preprint cs\/0605104 (2006)"},{"key":"3_CR17","first-page":"31","volume":"13","author":"M Tomita","year":"1987","unstructured":"Tomita, M.: An efficient augmented-context-free parsing algorithm. Comput. Linguist. 13, 31\u201346 (1987)","journal-title":"Comput. Linguist."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-61433-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,12]],"date-time":"2024-06-12T16:02:37Z","timestamp":1718208157000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-61433-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031614323","9783031614330"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-61433-0_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":"13 June 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PETRI NETS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Applications and Theory of Petri Nets and Concurrency","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Geneva","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Switzerland","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":"26 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"45","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"apn2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.unige.ch\/petrinets2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}