{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T13:05:07Z","timestamp":1743080707162,"version":"3.40.3"},"publisher-location":"Cham","reference-count":39,"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_9","type":"book-chapter","created":{"date-parts":[[2024,6,12]],"date-time":"2024-06-12T16:02:01Z","timestamp":1718208121000},"page":"175-196","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Token Trail Semantics II - Petri Nets And\u00a0Their Net Language"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7775-3698","authenticated-orcid":false,"given":"Jakub","family":"Kov\u00e1\u0159","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0464-8843","authenticated-orcid":false,"given":"Robin","family":"Bergenthum","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,6,13]]},"reference":[{"key":"9_CR1","unstructured":"Van\u00a0der Aalst, W.M.P.: Structural Characterizations of Sound Workflow Nets. Technische Universiteit Eindhoven (1996)"},{"key":"9_CR2","doi-asserted-by":"publisher","unstructured":"van der Aalst, W.M.P., van Hee, K.M., ter Hofstede, A.H.M., et al.: Soundness of workflow nets: classification, decidability, and analysis. Form Asp. Comp. 23, 333\u2013363 (2011). https:\/\/doi.org\/10.1007\/s00165-010-0161-4","DOI":"10.1007\/s00165-010-0161-4"},{"key":"9_CR3","doi-asserted-by":"publisher","unstructured":"Bergenthum, R.: Faster verification of partially ordered runs in petri nets using compact Tokenflows. In: Colom, J.M., Desel, J. (eds.) Application and Theory of Petri Nets and Concurrency. PETRI NETS 2013. LNCS, vol. 7927, pp 330\u2013348. Springer, Berlin (2013). https:\/\/doi.org\/10.1007\/978-3-642-38697-8_18","DOI":"10.1007\/978-3-642-38697-8_18"},{"key":"9_CR4","doi-asserted-by":"publisher","unstructured":"Bergenthum, R.: Synthesizing petri nets from hasse diagrams. In: Carmona, J., Engels, G., Kumar, A. (eds.) Business Process Management. BPM 2017. LNCS, vol. 10445, pp. 22\u201339. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-65000-5_2","DOI":"10.1007\/978-3-319-65000-5_2"},{"key":"9_CR5","doi-asserted-by":"publisher","unstructured":"Bergenthum, R.: Firing partial orders in a petri net. In: Buchs, D., Carmona, J. (eds.) Application and Theory of Petri Nets and Concurrency. PETRI NETS 2021. LNCS, vol. 12734, pp. 399\u2013419. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-76983-3_20","DOI":"10.1007\/978-3-030-76983-3_20"},{"key":"9_CR6","unstructured":"Bergenthum, R.: Prozessmanagement und Process-Mining, chap. Grundlagen der Formalen Prozessanalyse. De Gruyter, Petrinetze (2021)"},{"key":"9_CR7","doi-asserted-by":"publisher","unstructured":"Bergenthum, R., Folz-Weinstein, S., Kov\u00e1\u0159, J.: Token trail semantics - modeling behavior of petri nets with labeled petri nets. In: Gomes, L., Lorenz, R. (eds.) Application and Theory of Petri Nets and Concurrency. PETRI NETS 2023. LNCS, vol. 13929, pp. 286\u2013306. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-33620-1_16","DOI":"10.1007\/978-3-031-33620-1_16"},{"key":"9_CR8","unstructured":"Bergenthum, R., Kov\u00e1\u0159, J.: A first glimpse at petri net regions. In: Proceedings of ATAED 2022, pp. 60\u201368. CEUR Workshop Proceedings 3167 (2022)"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"117","DOI":"10.3233\/FI-2015-1172","volume":"137","author":"R Bergenthum","year":"2015","unstructured":"Bergenthum, R., Lorenz, R.: Verification of scenarios in petri nets using compact Tokenflows. Fundamenta Informaticae 137, 117\u2013142 (2015)","journal-title":"Fundamenta Informaticae"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","volume":"55","author":"E Best","year":"1987","unstructured":"Best, E., Devillers, R.: Sequential and concurrent behaviour in petri net theory. Theor. Comput. Sci. 55, 87\u2013136 (1987)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Boudol, G., Roucairol, G., de\u00a0Simone, R.: Petri Nets and Algebraic Calculi of Processes. Springer, Cham (1986)","DOI":"10.1007\/BFb0016205"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Brauer, W. (ed.): Net theory and applications. In: Proceedings of the Advanced Course on General Net Theory of Processes and Systems,, LNCS, vol.\u00a084. Springer, Cham (1980)","DOI":"10.1007\/3-540-100016"},{"key":"9_CR13","doi-asserted-by":"publisher","unstructured":"Casu, G., Pinna, G.M.: Merging relations: a way to compact petri nets behaviors uniformly. In: Drewes, F., Mart\u00edn-Vide, C., Truthe, B. (eds.) Language and Automata Theory and Applications. LATA 2017. LNCS, vol. 10168, pp. 325\u2013337. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-53733-7_24","DOI":"10.1007\/978-3-319-53733-7_24"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Casu, G., Pinna, G.M.: Petri nets and dynamic causality for service-oriented computations. In: Proceedings of the Symposium on Applied Computing, pp. 1326\u20131333 (2017)","DOI":"10.1145\/3019612.3019806"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Desel, J., Juh\u00e1s, G.: What is a petri net?. Unifying Petri Nets, pp. 1\u201325 (2001)","DOI":"10.1007\/3-540-45541-8_1"},{"key":"9_CR16","doi-asserted-by":"publisher","unstructured":"Desel, J., Reisig, W.: Lectures on Petri Nets I: Basic Models. In: Advances in Petri Nets, chap. Place\/transition Petri Nets, pp. 122\u2013173. Springer, Berlin (1998). https:\/\/doi.org\/10.1007\/3-540-65306-6","DOI":"10.1007\/3-540-65306-6"},{"key":"9_CR17","doi-asserted-by":"publisher","unstructured":"Dumas, M., La\u00a0Rosa, M., Mendling, J., Reijers, H.A., et\u00a0al.: Fundamentals of Business Process Management. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-662-56509-4","DOI":"10.1007\/978-3-662-56509-4"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Fabre, E.: Trellis processes: a compact representation for runs of concurrent systems. Discrete Event Dyn. Syst. 17, 267\u2013306 (2007)","DOI":"10.1007\/s10626-006-0001-0"},{"key":"9_CR19","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(83)80040-0","volume":"57","author":"U Goltz","year":"1983","unstructured":"Goltz, U., Reisig, W.: The non-sequential behaviour of petri nets. Inf. Control 57, 125\u2013147 (1983)","journal-title":"Inf. Control"},{"key":"9_CR20","doi-asserted-by":"publisher","first-page":"427","DOI":"10.3233\/FI-1981-4210","volume":"42","author":"J Grabowski","year":"1981","unstructured":"Grabowski, J.: On partial languages. Fundamenta Informaticae 42, 427\u2013498 (1981)","journal-title":"Fundamenta Informaticae"},{"key":"9_CR21","unstructured":"Gy\u00f6ry, G., Knuth, E., Romai, L.: Grammatical projections. In: Working paper of Computer and Autom. Institute. Hungarian Academy of Sciences (1979)"},{"key":"9_CR22","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/0304-3975(93)90238-O","volume":"112","author":"R Janicki","year":"1993","unstructured":"Janicki, R., Koutny, M.: Structure of concurrency. Theor. Comput. Sci. 112, 5\u201352 (1993)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR23","doi-asserted-by":"publisher","unstructured":"Juh\u00e1s, G., Lorenz, R., Desel, J.: Can i execute my scenario in your net?. In: Ciardo, G., Darondeau, P. (eds.) Applications and Theory of Petri Nets 2005. ICATPN 2005. LNCS, vol. 3536, pp. 289\u2013308 Springer, Berlin (2005). https:\/\/doi.org\/10.1007\/11494744_17","DOI":"10.1007\/11494744_17"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Karp, R.M.: Reducibility among combinatorial problems, pp. 85\u2013103. Springer, US (1972)","DOI":"10.1007\/978-1-4684-2001-2_9"},{"key":"9_CR25","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/s00236-006-0023-y","volume":"43","author":"V Khomenko","year":"2006","unstructured":"Khomenko, V., Kondratyev, A., Koutny, M., Vogler, W.: Merged processes: a new condensed representation of petri net behaviour. Acta Informatica 43, 307\u2013330 (2006)","journal-title":"Acta Informatica"},{"key":"9_CR26","first-page":"3","volume":"24","author":"A Kiehn","year":"1988","unstructured":"Kiehn, A.: On the interrelation between synchronized and behaviour non-synchronized of petri nets. J. Inf. Proc. Cybern. 24, 3\u201318 (1988)","journal-title":"J. Inf. Proc. Cybern."},{"key":"9_CR27","unstructured":"Kouteck\u00fd, M., Levin, A., Onn, S.: A parameterized strongly polynomial algorithm for block structured integer programs. In: Proceedings of ICALP, pp. 85:1\u201385:14. Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik (2018)"},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"Mazurkiewicz, A.: Concurrent Program Schemes and Their Interpretations. DAIMI Report Series (1977)","DOI":"10.7146\/dpb.v6i78.7691"},{"key":"9_CR29","doi-asserted-by":"publisher","unstructured":"Park, D.: Concurrency and automata on infinite sequences. In: Deussen, P. (eds.) Theoretical Computer Science. LNCS, vol. 104, pp. 167\u2013183. Springer, Berlin (1981). https:\/\/doi.org\/10.1007\/BFb0017309","DOI":"10.1007\/BFb0017309"},{"key":"9_CR30","unstructured":"Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall PTR, Hoboken (1981)"},{"key":"9_CR31","unstructured":"Petri, C.A.: Non-Sequential Processes. GMD-ISF Report (1977)"},{"key":"9_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jlamp.2020.100526","volume":"112","author":"GM Pinna","year":"2020","unstructured":"Pinna, G.M., Fabre, E.: Spreading nets: a uniform approach to unfoldings. J. Logical Algebraic Methods Program. 112, 1\u201333 (2020)","journal-title":"J. Logical Algebraic Methods Program."},{"key":"9_CR33","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V Pratt","year":"1986","unstructured":"Pratt, V.: Modeling concurrency with partial orders. Int. J. Parall. Program. 15, 33\u201371 (1986)","journal-title":"Int. J. Parall. Program."},{"key":"9_CR34","doi-asserted-by":"crossref","unstructured":"Reisig, W.: Understanding Petri Nets: Modeling Techniques, Analysis Methods. Springer, Case Studies (2013)","DOI":"10.1007\/978-3-642-33278-4"},{"key":"9_CR35","doi-asserted-by":"publisher","unstructured":"Smith, E., Reisig, W.: The semantics of a net is a net. In: Voss, K., Genrich, H.J., Rozenberg, G. (eds.) Concurrency and Nets. Springer, Berlin (1987). https:\/\/doi.org\/10.1007\/978-3-642-72822-8_29","DOI":"10.1007\/978-3-642-72822-8_29"},{"key":"9_CR36","doi-asserted-by":"publisher","unstructured":"Vogler, W. (ed) Modular Construction and Partial Order Semantics of Petri Nets. Springer, Berlin (1992). https:\/\/doi.org\/10.1007\/3-540-55767-9_4","DOI":"10.1007\/3-540-55767-9_4"},{"key":"9_CR37","unstructured":"Weske, M., et al.: Concepts, Languages. Architectures, Business Process Management (2007)"},{"key":"9_CR38","doi-asserted-by":"publisher","unstructured":"Winskel, G.: Petri nets, morphisms and compositionality. In: Rozenberg, G. (ed.) Advances in Petri Nets 1985. APN 1985. LNCS, vol. 222, pp 453\u2013477. Springer, Berlin (1986). https:\/\/doi.org\/10.1007\/BFb0016226","DOI":"10.1007\/BFb0016226"},{"key":"9_CR39","doi-asserted-by":"crossref","unstructured":"Winskel, G.: Event Structures. In: Petri Nets: Applications and Relationships to Other Models of Concurrency, pp. 325\u2013392. Springer, Berlin (1986)","DOI":"10.1007\/3-540-17906-2_31"}],"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_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,12]],"date-time":"2024-06-12T16:03:01Z","timestamp":1718208181000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-61433-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031614323","9783031614330"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-61433-0_9","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"}}]}}