{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T15:56:58Z","timestamp":1764172618011,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031664373"},{"type":"electronic","value":"9783031664380"}],"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-66438-0_9","type":"book-chapter","created":{"date-parts":[[2024,7,25]],"date-time":"2024-07-25T07:03:08Z","timestamp":1721890988000},"page":"174-193","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Compositional Framework for\u00a0Petri Nets"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-9626-4742","authenticated-orcid":false,"given":"Serge","family":"Lechenne","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3009-6747","authenticated-orcid":false,"given":"Clovis","family":"Eberhart","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8300-4650","authenticated-orcid":false,"given":"Ichiro","family":"Hasuo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,7,26]]},"reference":[{"issue":"25","key":"9_CR1","first-page":"727","volume":"33","author":"JC Baez","year":"2018","unstructured":"Baez, J.C., Coya, B., Rebro, F.: Props in network theory. Theory Appl. Categ. 33(25), 727\u2013783 (2018)","journal-title":"Theory Appl. Categ."},{"issue":"3","key":"9_CR2","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1017\/S0960129520000043","volume":"30","author":"JC Baez","year":"2020","unstructured":"Baez, J.C., Maste, J.: Open Petri nets. Math. Struct. Comput. Sci. 30(3), 314\u2013341 (2020)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"09","key":"9_CR3","doi-asserted-by":"publisher","first-page":"1750028","DOI":"10.1142\/S0129055X17500283","volume":"29","author":"JC Baez","year":"2017","unstructured":"Baez, J.C., Pollard, B.S.: A compositional framework for reaction networks. Rev. Math. Phys. 29(09), 1750028 (2017)","journal-title":"Rev. Math. Phys."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Bonchi, F., Holland, J., Piedeleu, R., Soboci\u0144ski, P., Zanasi, F.: Diagrammatic algebra: from linear to concurrent systems. Proc. ACM Program. Lang. 3(POPL), 1\u201328 (2019)","DOI":"10.1145\/3290338"},{"issue":"1","key":"9_CR5","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/j.jpaa.2016.06.002","volume":"221","author":"F Bonchi","year":"2017","unstructured":"Bonchi, F., Soboci\u0144ski, P., Zanasi, F.: Interacting Hopf algebras. J. Pure Appl. Algebra 221(1), 144\u2013184 (2017)","journal-title":"J. Pure Appl. Algebra"},{"key":"9_CR6","unstructured":"Carette, T., Horsman, D., Perdrix, S.: SZX-calculus: scalable graphical quantum reasoning. In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, 26\u201330 August 2019, Aachen, Germany, vol.\u00a0138, pp. 55:1\u201355:15 (2019)"},{"key":"9_CR7","unstructured":"Carette, T., Perdrix, S.: Colored props for large scale graphical reasoning (2020)"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-642-38164-5_4","volume-title":"Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky","author":"M Fiore","year":"2013","unstructured":"Fiore, M., Devesas Campos, M.: The algebra of directed acyclic graphs. In: Coecke, B., Ong, L., Panangaden, P. (eds.) Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky. LNCS, vol. 7860, pp. 37\u201351. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38164-5_4"},{"issue":"1","key":"9_CR9","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1006\/aima.1993.1055","volume":"102","author":"A Joyal","year":"1993","unstructured":"Joyal, A., Street, R.: Braided tensor categories. Adv. Math. 102(1), 20\u201378 (1993)","journal-title":"Adv. Math."},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Joyal, A., Street, R., Verity, D.: Traced monoidal categories. In: Mathematical Proceedings of the Cambridge Philosophical Society, vol.\u00a0119, pp. 447\u2013468. Cambridge University Press (1996)","DOI":"10.1017\/S0305004100074338"},{"key":"9_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4721-8","volume-title":"Categories for the Working Mathematician","author":"S Mac Lane","year":"2013","unstructured":"Mac Lane, S.: Categories for the Working Mathematician, vol. 5. Springer, New York (2013). https:\/\/doi.org\/10.1007\/978-1-4757-4721-8"},{"key":"9_CR12","first-page":"221","volume":"1","author":"R Penrose","year":"1971","unstructured":"Penrose, R.: Applications of negative dimensional tensors. Comb. Math. Appl. 1, 221\u2013244 (1971)","journal-title":"Comb. Math. Appl."},{"issue":"3","key":"9_CR13","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"JL Peterson","year":"1977","unstructured":"Peterson, J.L.: Petri nets. ACM Comput. Surv. (CSUR) 9(3), 223\u2013252 (1977)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-319-11439-2_18","volume-title":"Reachability Problems","author":"J Rathke","year":"2014","unstructured":"Rathke, J., Soboci\u0144ski, P., Stephens, O.: Compositional reachability in petri nets. In: Ouaknine, J., Potapov, I., Worrell, J. (eds.) RP 2014. LNCS, vol. 8762, pp. 230\u2013243. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11439-2_18"},{"key":"9_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"W Reisig","year":"2012","unstructured":"Reisig, W.: Petri Nets: An Introduction, vol. 4. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-69968-9"},{"key":"9_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33278-4","volume-title":"Understanding Petri Nets","author":"W Reisig","year":"2016","unstructured":"Reisig, W.: Understanding Petri Nets. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-642-33278-4"},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-642-12821-9_4","volume-title":"New Structures for Physics","author":"P Selinger","year":"2010","unstructured":"Selinger, P.: A survey of graphical languages for monoidal categories. In: Coecke, B. (ed.) New Structures for Physics, pp. 289\u2013355. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-12821-9_4"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Soboci\u0144ski, P.: Compositional model checking of concurrent systems, with petri nets. arXiv preprint arXiv:1603.00976 (2016)","DOI":"10.4204\/EPTCS.204.3"},{"key":"9_CR19","unstructured":"Stephens, O.: Compositional specification and reachability checking of net systems. Ph.D. thesis, University of Southampton (2015)"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Watanabe, K., Eberhart, C., Asada, K., Hasuo, I.: A compositional approach to parity games. arXiv preprint arXiv:2112.14058 (2021)","DOI":"10.4204\/EPTCS.351.17"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Watanabe, K., Eberhart, C., Asada, K., Hasuo, I.: Compositional probabilistic model checking with string diagrams of MDPs. In: 35th International Conference on Computer Aided Verification (CAV 2023) (2023)","DOI":"10.1007\/978-3-031-37709-9_3"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Watanabe, K., Eberhart, C., Asada, K., Hasuo, I.: Compositional solution of mean payoff games by string diagrams. arXiv preprint arXiv:2307.08034 (2023)","DOI":"10.1007\/978-3-031-75778-5_20"}],"container-title":["Lecture Notes in Computer Science","Coalgebraic Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-66438-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,24]],"date-time":"2024-11-24T20:15:35Z","timestamp":1732479335000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-66438-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031664373","9783031664380"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-66438-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":"26 July 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CMCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Coalgebraic Methods in Computer Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Luxembourg City","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Luxembourg","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":"6 April 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 April 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cmcs2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.coalg.org\/cmcs24\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}