{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:24:59Z","timestamp":1759638299609,"version":"3.41.0"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2018,1,24]],"date-time":"2018-01-24T00:00:00Z","timestamp":1516752000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1007\/s00236-018-0314-0","type":"journal-article","created":{"date-parts":[[2018,1,24]],"date-time":"2018-01-24T05:45:14Z","timestamp":1516772714000},"page":"61-92","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Petri nets are dioids: a new algebraic foundation for non-deterministic net theory"],"prefix":"10.1007","volume":"56","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9357-5599","authenticated-orcid":false,"given":"Paolo","family":"Baldan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0690-3051","authenticated-orcid":false,"given":"Fabio","family":"Gadducci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,1,24]]},"reference":[{"key":"314_CR1","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1016\/j.scico.2014.11.019","volume":"109","author":"P Baldan","year":"2015","unstructured":"Baldan, P., Bonchi, F., Gadducci, F., Monreale, G.V.: Modular encoding of synchronous and asynchronous interactions using open Petri nets. Sci. Comput. Program. 109, 96\u2013124 (2015)","journal-title":"Sci. Comput. Program."},{"key":"314_CR2","doi-asserted-by":"crossref","unstructured":"Baldan, P., Bruni, R., Montanari, U.: Pre-nets, read arcs and unfolding: a functorial presentation. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) Algebraic Development Techniques (WADT 2002), Lecture Notes in Computer Science, vol. 2755, pp. 145\u2013164. Springer (2003)","DOI":"10.1007\/978-3-540-40020-2_8"},{"key":"314_CR3","doi-asserted-by":"crossref","unstructured":"Baldan, P., Gadducci, F.: Petri nets are dioids. In: Meseguer, J., Rosu, G. (eds.) Algebraic Methodologies and Software Technology (AMAST 2008), Lecture Notes in Computer Science, vol. 5140, pp. 51\u201366. Springer (2008)","DOI":"10.1007\/978-3-540-79980-1_5"},{"key":"314_CR4","first-page":"710","volume-title":"Logic in Computer Science (LICS 2016)","author":"F Bonchi","year":"2016","unstructured":"Bonchi, F., Gadducci, F., Kissinger, A., Sobocinski, P., Zanasi, F.: Rewriting modulo symmetric monoidal structure. In: Grohe, M., Koskinen, E., Shankar, N. (eds.) Logic in Computer Science (LICS 2016), pp. 710\u2013719. ACM, New York (2016)"},{"key":"314_CR5","first-page":"515","volume-title":"Principles of Programming Languages (POPL 2015)","author":"F Bonchi","year":"2015","unstructured":"Bonchi, F., Sobocinski, P., Zanasi, F.: Full abstraction for signal flow graphs. In: Rajamani, S.K., Walker, D. (eds.) Principles of Programming Languages (POPL 2015), pp. 515\u2013526. ACM, New York (2015)"},{"issue":"2","key":"314_CR6","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1016\/S0304-3975(01)00318-8","volume":"286","author":"R Bruni","year":"2002","unstructured":"Bruni, R., Gadducci, F., Montanari, U.: Normal forms for algebras of connections. Theor. Comput. Sci. 286(2), 247\u2013292 (2002)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"314_CR7","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1006\/inco.2001.3050","volume":"170","author":"R Bruni","year":"2001","unstructured":"Bruni, R., Meseguer, J., Montanari, U., Sassone, V.: Functorial models for Petri nets. Inf. Comput. 170(2), 207\u2013236 (2001)","journal-title":"Inf. Comput."},{"issue":"4","key":"314_CR8","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1023\/A:1008647417502","volume":"7","author":"A Corradini","year":"1999","unstructured":"Corradini, A., Gadducci, F.: An algebraic presentation of term graphs, via gs-monoidal categories. Appl. Categ. Struct. 7(4), 299\u2013331 (1999)","journal-title":"Appl. Categ. Struct."},{"key":"314_CR9","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/S0304-3975(01)00319-X","volume":"286","author":"A Corradini","year":"2002","unstructured":"Corradini, A., Gadducci, F.: A functorial semantics for multi-algebras and partial algebras, with applications to syntax. Theor. Comput. Sci. 286, 293\u2013322 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"314_CR10","doi-asserted-by":"crossref","unstructured":"Degano, P., Meseguer, J., Montanari, U.: Axiomatizing net computations and processes. In: Logic in Computer Science (LICS 1989), pp. 175\u2013185. IEEE Computer Society (1989)","DOI":"10.1109\/LICS.1989.39172"},{"issue":"7","key":"314_CR11","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1007\/s002360050064","volume":"33","author":"P Degano","year":"1996","unstructured":"Degano, P., Meseguer, J., Montanari, U.: Axiomatizing the algebra of net computations and processes. Acta Inform. 33(7), 641\u2013667 (1996)","journal-title":"Acta Inform."},{"issue":"6","key":"314_CR12","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1007\/BF01463946","volume":"28","author":"J Engelfriet","year":"1991","unstructured":"Engelfriet, J.: Branching processes of Petri nets. Acta Inform. 28(6), 575\u2013591 (1991)","journal-title":"Acta Inform."},{"key":"314_CR13","volume-title":"Unfoldings: a partial order approach to model checking","author":"J Esparza","year":"2008","unstructured":"Esparza, J., Heljanko, K.: Unfoldings: a partial order approach to model checking. Springer, Berlin (2008)"},{"key":"314_CR14","doi-asserted-by":"crossref","unstructured":"Gadducci, F., Montanari, U.: Axioms for contextual net processes. In: Larsen, K., Skyum, S., Winskel, G. (eds.) Automata, Languages and Programming (ICALP 1998), Lecture Notes in Computer Science, vol. 1443, pp. 296\u2013308. Springer (1998)","DOI":"10.1007\/BFb0055062"},{"issue":"2\/3","key":"314_CR15","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(2\/3), 125\u2013147 (1983)","journal-title":"Inf. Control"},{"key":"314_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-55559-1","volume-title":"Process algebras for Petri nets: the alphabetization of distributed systems","author":"R Gorrieri","year":"2017","unstructured":"Gorrieri, R.: Process algebras for Petri nets: the alphabetization of distributed systems. Springer, Berlin (2017)"},{"key":"314_CR17","first-page":"65","volume-title":"Quantum Programming Languages (QPL 2006), Electronic Notes in Theoretical Computer Science","author":"A Green","year":"2008","unstructured":"Green, A., Altenkirch, T.: From reversible to irreversible computations. In: Selinger, P. (ed.) Quantum Programming Languages (QPL 2006), Electronic Notes in Theoretical Computer Science, vol. 210, pp. 65\u201374. Elsevier, Amsterdam (2008)"},{"issue":"1","key":"314_CR18","first-page":"112","volume":"6","author":"R Grosu","year":"2000","unstructured":"Grosu, R., Lucanu, D., Stefanescu, G.: Mixed relations as enriched semiringal categories. Univers. Comput. Sci. 6(1), 112\u2013129 (2000)","journal-title":"Univers. Comput. Sci."},{"issue":"4","key":"314_CR19","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1007\/s10485-014-9369-4","volume":"23","author":"P Hackney","year":"2015","unstructured":"Hackney, P., Robertson, M.: On the category of PROPs. Appl. Categ. Struct. 23(4), 543\u2013573 (2015)","journal-title":"Appl. Categ. Struct."},{"issue":"3","key":"314_CR20","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1017\/S0305004100074338","volume":"119","author":"A Joyal","year":"1996","unstructured":"Joyal, A., Street, R., Verity, D.: Traced monoidal categories. Math. Proc. Camb. Philos. Soc. 119(3), 447\u2013468 (1996)","journal-title":"Math. Proc. Camb. Philos. Soc."},{"issue":"9","key":"314_CR21","first-page":"147","volume":"13","author":"S Lack","year":"2004","unstructured":"Lack, S.: Composing PROPs. Theory Appl. Categ. 13(9), 147\u2013163 (2004)","journal-title":"Theory Appl. Categ."},{"key":"314_CR22","doi-asserted-by":"crossref","unstructured":"Laplaza, M.: Coherence for distributivity. In: Coherence in Categories, Lecture Notes in Mathematics, vol. 281, pp. 29\u201372. Springer (1972)","DOI":"10.1007\/BFb0059555"},{"key":"314_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the Working Mathematician","author":"S Mac Lane","year":"1971","unstructured":"Mac Lane, S.: Categories for the Working Mathematician. Springer, Berlin (1971)"},{"issue":"4","key":"314_CR24","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1142\/S0129054191000182","volume":"2","author":"N Mart\u00ec-Oliet","year":"1991","unstructured":"Mart\u00ec-Oliet, N., Meseguer, J.: From Petri nets to linear logic through categories: a survey. Found. Comput. Sci. 2(4), 297\u2013399 (1991)","journal-title":"Found. Comput. Sci."},{"key":"314_CR25","doi-asserted-by":"publisher","first-page":"283","DOI":"10.2140\/gtm.2009.16.283","volume":"16","author":"J May","year":"2009","unstructured":"May, J.: The construction of $$\\text{ E }_\\infty $$ E \u221e ring spaces from bipermutative categories. Geom. Topol. Monogr. 16, 283\u2013330 (2009)","journal-title":"Geom. Topol. Monogr."},{"issue":"2","key":"314_CR26","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"88","author":"J Meseguer","year":"1990","unstructured":"Meseguer, J., Montanari, U.: Petri nets are monoids. Inf. Comput. 88(2), 105\u2013155 (1990)","journal-title":"Inf. Comput."},{"key":"314_CR27","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511626661","volume-title":"The Space and Motion of Communicating Agents","author":"R Milner","year":"2009","unstructured":"Milner, R.: The Space and Motion of Communicating Agents. Cambridge University Press, Cambridge (2009)"},{"key":"314_CR28","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures and domains, part 1. Theor. Comput. Sci. 13, 85\u2013108 (1981)","journal-title":"Theor. Comput. Sci."},{"key":"314_CR29","unstructured":"Petri, C.: Kommunikation mit automaten. Ph.D. Thesis, Institut f\u00fcr Instrumentelle Matematik, Bonn (1962)"},{"key":"314_CR30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri nets: an introduction","author":"W Reisig","year":"1985","unstructured":"Reisig, W.: Petri nets: an introduction. Springer, Berlin (1985)"},{"key":"314_CR31","doi-asserted-by":"crossref","DOI":"10.1017\/9781316134924","volume-title":"The Pi-Calculus: A Theory of Mobile Processes","author":"D Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The Pi-Calculus: A Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)"},{"issue":"2","key":"314_CR32","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1017\/S096012959700248X","volume":"8","author":"V Sassone","year":"1998","unstructured":"Sassone, V.: An axiomatization of the category of Petri net computations. Math. Struct. Comput. Sci. 8(2), 117\u2013151 (1998)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"813","key":"314_CR33","first-page":"289","volume":"13","author":"P Selinger","year":"2011","unstructured":"Selinger, P.: A survey of graphical languages for monoidal categories. Spring. Lect. Notes Phys. 13(813), 289\u2013355 (2011)","journal-title":"Spring. Lect. Notes Phys."},{"issue":"2","key":"314_CR34","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1093\/jigpal\/6.2.349","volume":"6","author":"G Stefanescu","year":"1998","unstructured":"Stefanescu, G.: Reaction and control I. Mixing additive and multiplicative network algebras. Log. J. IGPL 6(2), 348\u2013369 (1998)","journal-title":"Log. J. IGPL"},{"key":"314_CR35","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0479-7","volume-title":"Network Algebra","author":"G Stefanescu","year":"2000","unstructured":"Stefanescu, G.: Network Algebra. Springer, Berlin (2000)"},{"key":"314_CR36","doi-asserted-by":"crossref","unstructured":"Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) Petri Nets: Applications and Relationships to Other Models of Concurrency, Lecture Notes in Computer Science, vol. 255, pp. 325\u2013392. Springer (1987)","DOI":"10.1007\/3-540-17906-2_31"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-018-0314-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-018-0314-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-018-0314-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,30]],"date-time":"2025-06-30T00:04:15Z","timestamp":1751241855000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-018-0314-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1,24]]},"references-count":36,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2]]}},"alternative-id":["314"],"URL":"https:\/\/doi.org\/10.1007\/s00236-018-0314-0","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"type":"print","value":"0001-5903"},{"type":"electronic","value":"1432-0525"}],"subject":[],"published":{"date-parts":[[2018,1,24]]},"assertion":[{"value":"6 September 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 January 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 January 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}