{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T11:05:36Z","timestamp":1784804736404,"version":"3.55.0"},"reference-count":101,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T00:00:00Z","timestamp":1784764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T00:00:00Z","timestamp":1784764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2026,10]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>This is an overview of double categories of \u2018open systems\u2019: systems that can interact with their environment. We focus on the variable sharing paradigm, where we compose open systems by identifying variables. This paradigm is often implemented using structured or decorated cospans. We explain this approach using three main examples: open Petri nets, open dynamical systems, and open Petri nets with rates. We compare the virtues of structured and decorated cospan double categories, and study their common features. We show that any symmetric monoidal structured or decorated cospan double category comes with maps from two simpler double categories: its \u2018exoskeleton\u2019 and its \u2018outer shell\u2019. Finally, we study the concept of \u2018hypergraph double category\u2019, a kind of double category that should subsume structured and decorated cospans in a common framework for studying open systems in the variable sharing paradigm.<\/jats:p>","DOI":"10.1007\/s10485-026-09885-9","type":"journal-article","created":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T10:46:39Z","timestamp":1784803599000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Double Categories of Open Systems: The Cospan Approach"],"prefix":"10.1007","volume":"34","author":[{"given":"John C.","family":"Baez","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,7,23]]},"reference":[{"key":"9885_CR1","doi-asserted-by":"crossref","unstructured":"Aduddell, R., Fairbanks, J., Kumar, A., Ocal, P.S., Patterson, E., Shapiro, B.T.: A compositional account of motifs, mechanisms, and dynamics in biochemical regulatory networks. Compositionality 6 (2024). arXiv:2301.01445","DOI":"10.32408\/compositionality-6-2"},{"key":"9885_CR2","unstructured":"Aleiferi, E.: Cartesian double categories with an emphasis on characterizing spans. PhD Thesis, Department of Mathematics, Dalhousie University. arXiv:1809.06940"},{"key":"9885_CR3","unstructured":"AlgebraicDynamics.jl. https:\/\/algebraicjulia.github.io\/AlgebraicDynamics.jl\/"},{"key":"9885_CR4","unstructured":"AlgebraicPetri.jl. https:\/\/algebraicjulia.github.io\/AlgebraicPetri.jl\/"},{"key":"9885_CR5","doi-asserted-by":"crossref","unstructured":"Baas, A., Fairbanks, J., Halter, M., Libkind, S., Patterson, E.: An algebraic framework for structured epidemic modeling. Philos. Trans. R. Soc. A 380, 20210309 (2022). arXiv:2203.16345","DOI":"10.1098\/rsta.2021.0309"},{"key":"9885_CR6","unstructured":"Baez, J.C., Chaudhuri, A.: Graphs with polarities. arXiv:2506.23375"},{"key":"9885_CR7","doi-asserted-by":"crossref","unstructured":"Baez, J.C., Courser, K., Vasilakopoulou, C.: Structured versus decorated cospans. Compositionality 4, 3 (2022). arXiv:2101.09363","DOI":"10.32408\/compositionality-4-3"},{"key":"9885_CR8","doi-asserted-by":"crossref","unstructured":"Baez, J.C., Courser, K.: Coarse-graining open Markov processes. Theory Appl. Categ. 33, 1223\u20131268 (2018). arXiv:1710.11343","DOI":"10.70930\/tac\/14gq63yh"},{"key":"9885_CR9","doi-asserted-by":"crossref","unstructured":"Baez, J.C., Courser, K.: Structured cospans. Theory Appl. Categ. 35, 1771\u20131822 (2020). arXiv:1911.04630","DOI":"10.70930\/tac\/dca3obx4"},{"key":"9885_CR10","doi-asserted-by":"crossref","unstructured":"Baez, J.C., Coya, B., Rebro, F.: Props in circuit theory. Theory Appl. Categ. 33, 727\u2013783 (2018). arXiv:1707.08321","DOI":"10.70930\/tac\/mgee83ch"},{"key":"9885_CR11","doi-asserted-by":"crossref","unstructured":"Baez, J.C., Erbele, J.: Categories in control. Theory Appl. Categ. 30, 836\u2013881 (2015). arXiv:1405.6881","DOI":"10.70930\/tac\/d5nq5dv8"},{"key":"9885_CR12","doi-asserted-by":"crossref","unstructured":"Baez, J.C., Fong, B., Pollard, B.S.: A compositional framework for Markov processes. J. Math. Phys. 57, 033301 (2016). arXiv:1508.06448","DOI":"10.1063\/1.4941578"},{"key":"9885_CR13","doi-asserted-by":"crossref","unstructured":"Baez, J.C., Fong, B.: A compositional framework for passive linear networks. Theory Appl. Categ. 33, 1158\u20131222 (2018). arXiv:1504.05625","DOI":"10.70930\/tac\/zdyktmkc"},{"key":"9885_CR14","doi-asserted-by":"crossref","unstructured":"Baez, J.C., Genovese, F., Master, J., Shulman, M.: Categories of nets. In: 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS), 2021, pp. 1\u201313. IEEE, Rome (2021). arXiv:2101.04238","DOI":"10.1109\/LICS52264.2021.9470566"},{"key":"9885_CR15","doi-asserted-by":"crossref","unstructured":"Baez, J.C., Lauda, A.: A prehistory of $$n$$-categorical physics. In: Halvorson, H. (ed.), Deep Beauty: Mathematical Innovation and the Search for an Underlying Intelligibility of the Quantum World, pp. 13\u2013128. Cambridge University Press, Cambridge (2011). arXiv:0908.2469","DOI":"10.1017\/CBO9780511976971.003"},{"key":"9885_CR16","doi-asserted-by":"crossref","unstructured":"Baez, J.C., Li, X., Libkind, S., Osgood, N.D., Patterson, E.: Compositional modeling with stock and flow diagrams. Electron. Proc. Theor. Comput. Sci. 380, 77\u201396 (2023). arXiv:2205.08373","DOI":"10.4204\/EPTCS.380.5"},{"key":"9885_CR17","doi-asserted-by":"crossref","unstructured":"Baez, J.C., Li, X., Libkind, S., Osgood, N.D., Redekopp, E.: A categorical framework for modeling with stock and flow diagrams. In: David, J., Wu, J. (eds.) Mathematics of Public Health: Mathematical Modelling from the Next Generation, pp. 175\u2013207. Springer (2003). arXiv:2211.01290","DOI":"10.1007\/978-3-031-40805-2_8"},{"key":"9885_CR18","doi-asserted-by":"crossref","unstructured":"Baez, J.C., Lynch, O., Moeller, J.: Compositional thermostatics. J. Math. Phys. 64, 023304 (2023). arXiv:2111.10315","DOI":"10.1063\/5.0089375"},{"key":"9885_CR19","doi-asserted-by":"crossref","unstructured":"Baez, J.C., Master, J.: Open Petri nets. Math. Struct. Comput. Sci. 30, 314\u2013341 (2020). arXiv:1808.05415","DOI":"10.1017\/S0960129520000043"},{"key":"9885_CR20","doi-asserted-by":"crossref","unstructured":"Baez, J.C., Pollard, B.S.: A compositional framework for chemical reaction networks. Rev. Math. Phys. 29, 1750028 (2017). arXiv:1704.02051","DOI":"10.1142\/S0129055X17500283"},{"key":"9885_CR21","doi-asserted-by":"crossref","unstructured":"Baez, J.C., Stay, M.: Physics, topology, logic and computation: a Rosetta Stone. In: Coecke, B. (ed.) New Structures for Physics, Lecture Notes in Physics, vol. 813, pp. 95\u2013172. Springer, Berlin (2011). arXiv:0903.0340","DOI":"10.1007\/978-3-642-12821-9_2"},{"key":"9885_CR22","doi-asserted-by":"crossref","unstructured":"Baez, J.C., Weisbart, D., Yassine, A.M.: Open systems in classical mechanics. J. Math. Phys. 62, 042902 (2021). arXiv:1710.11392","DOI":"10.1063\/5.0029885"},{"key":"9885_CR23","doi-asserted-by":"crossref","unstructured":"Bonchi, F., Soboci\u0144ski, P., Zanasi, F.: A categorical semantics of signal flow graphs. In: Baldan, P., Gorla, D. (eds.) CONCUR 2014\u2014Concurrency Theory, Lecture Notes in Computer Science, vol. 8704, pp. 435\u2013450. Springer, Berlin (2014). http:\/\/users.ecs.soton.ac.uk\/ps\/papers\/sfg.pdf","DOI":"10.1007\/978-3-662-44584-6_30"},{"key":"9885_CR24","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1016\/0021-8693(91)90057-F","volume":"136","author":"A Carboni","year":"1991","unstructured":"Carboni, A.: Matrices, relations, and group representations. J. Algebra 136, 497\u2013529 (1991)","journal-title":"J. Algebra"},{"key":"9885_CR25","unstructured":"CatColab. https:\/\/catcolab.org\/help"},{"key":"9885_CR26","unstructured":"Catlab.jl. https:\/\/github.com\/AlgebraicJulia\/Catlab.jl"},{"key":"9885_CR27","doi-asserted-by":"crossref","unstructured":"Courser, K.: A bicategory of decorated cospans. Theory Appl. Categ. 32, 995\u20131027 (2017). arXiv:1605.08100","DOI":"10.70930\/tac\/282xz4d1"},{"key":"9885_CR28","unstructured":"Courser, K.: Open Systems: a Double Categorical Perspective, PhD Thesis, Department of Mathematics, U. C. Riverside (2020). arXiv:2008.02394"},{"key":"9885_CR29","doi-asserted-by":"crossref","unstructured":"Coya, B., Fong, B.: Corelations are the prop for extraspecial commutative Frobenius monoids. Theory Appl. Categ. 32, 380\u2013395 (2017). arXiv:1601.02307","DOI":"10.70930\/tac\/mhr3j6am"},{"key":"9885_CR30","unstructured":"Coya, B.: A compositional framework for bond graphs. arXiv:1710.00098"},{"key":"9885_CR31","unstructured":"Coya, B.: Circuits, bond graphs, and signal-flow diagrams: a categorical perspective. PhD Thesis, Department of Mathematics, U. C. Riverside (2018). arXiv:1805.08290"},{"key":"9885_CR32","unstructured":"Craciun, G., Mincheva, M., Pantea, C., Yu, P.Y.: A graph-theoretic condition for delay stability of reaction systems. arXiv:2105.07321"},{"key":"9885_CR33","unstructured":"Craciun, G.: Toric differential inclusions and a proof of the Global Attractor Conjecture. arXiv:1501.02860"},{"key":"9885_CR34","doi-asserted-by":"publisher","first-page":"8697","DOI":"10.1073\/pnas.0602767103","volume":"103","author":"G Craciun","year":"2006","unstructured":"Craciun, G., Tang, Y., Feinberg, M.: Understanding bistability in complex enzyme-driven reaction networks. Proc. Natl. Acad. Sci. U.S.A. 103, 8697\u20138702 (2006)","journal-title":"Proc. Natl. Acad. Sci. U.S.A."},{"key":"9885_CR35","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1137\/100812355","volume":"73","author":"G Craciun","year":"2013","unstructured":"Craciun, G., Nazarov, F., Pantea, C.: Persistence and permanence of mass-action and power-law dynamical systems. SIAM J. Appl. Math. 73, 305\u2013329 (2013)","journal-title":"SIAM J. Appl. Math."},{"key":"9885_CR36","doi-asserted-by":"crossref","unstructured":"Dawson, R.J.M., Par\u00e9, B., Pronk, D.A.: The span construction. Theory Appl. Categ. 24, 302\u2013377 (2010). http:\/\/www.tac.mta.ca\/tac\/volumes\/24\/13\/24-13abs.html","DOI":"10.70930\/tac\/4imw7mvg"},{"key":"9885_CR37","doi-asserted-by":"crossref","unstructured":"Dawson, R.J.M., Par\u00e9, B., Pronk, D.A.: Universal properties of Span. Theory Appl. Categ. 13, 61\u201385 (2004). http:\/\/www.tac.mta.ca\/tac\/volumes\/13\/4\/13-04abs.html","DOI":"10.70930\/tac\/sl0dhib7"},{"key":"9885_CR38","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1006\/aima.1997.1649","volume":"129","author":"B Day","year":"1997","unstructured":"Day, B., Street, R.: Monoidal bicategories and Hopf algebroids. Adv. Math. 129, 99\u2013157 (1997)","journal-title":"Adv. Math."},{"key":"9885_CR39","doi-asserted-by":"crossref","unstructured":"de Francesco Albasini, L., Sabadini, N., Walters, R.F.C.: The compositional construction of Markov processes II. RAIRO Theor. Inform. Appl. 45, 117\u2013142 (2011). arXiv:1005.0949","DOI":"10.1051\/ita\/2011015"},{"key":"9885_CR40","doi-asserted-by":"crossref","unstructured":"de Francesco Albasini, L., Sabadini, N., Walters, R.F.C.: The compositional construction of Markov processes. Appl. Categ. Struct. 19, 425-437 (2011). arXiv:0901.2434","DOI":"10.1007\/s10485-010-9233-0"},{"key":"9885_CR41","doi-asserted-by":"crossref","unstructured":"De\u00e1k, L., F\u00fcl\u00f6p, T.: Reciprocity in quantum, electromagnetic and other wave scattering. Ann. Phys. 327, 1050\u20131077 (2012). arXiv:1108.5743","DOI":"10.1016\/j.aop.2011.10.013"},{"key":"9885_CR42","doi-asserted-by":"publisher","first-page":"2229","DOI":"10.1016\/0009-2509(87)80099-4","volume":"42","author":"M Feinberg","year":"1987","unstructured":"Feinberg, M.: Chemical reaction network structure and the stability of complex isothermal reactors I. The deficiency zero and deficiency one theorems. Chem. Eng. Sci. 42, 2229\u20132268 (1987)","journal-title":"Chem. Eng. Sci."},{"key":"9885_CR43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03858-8","volume-title":"Foundations of Chemical Reaction Network Theory","author":"M Feinberg","year":"2019","unstructured":"Feinberg, M.: Foundations of Chemical Reaction Network Theory. Springer, Berlin (2019)"},{"key":"9885_CR44","doi-asserted-by":"crossref","unstructured":"Fiadeiro, J.L., Schmitt, V.: Structured co-spans: an algebra of interaction protocols. In: Mossakowski, T., Montanari, U., Haveraaen, M. (eds.) International Conference on Algebra and Coalgebra in Computer Science, Lecture Notes in Computer Science, vol. 4624, pp. 194\u2013208. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-73859-6_14"},{"key":"9885_CR45","doi-asserted-by":"crossref","unstructured":"Fong, B., Rapisarda, P., Sobocinski, P.: A categorical approach to open and interconnected dynamical systems. In: Proceedings of the 31st Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS), 2016, pp. 1\u201310. IEEE, New York (2016). arXiv:1510.05076","DOI":"10.1145\/2933575.2934556"},{"key":"9885_CR46","doi-asserted-by":"crossref","unstructured":"Fong, B., Spivak, D.: Hypergraph categories. J. Pure Appl. Algebra 223, 4746\u20134777 (2019). https:\/\/arxiv.org\/abs\/1806.08304","DOI":"10.1016\/j.jpaa.2019.02.014"},{"key":"9885_CR47","doi-asserted-by":"crossref","unstructured":"Fong, B.: Decorated cospans. Theory Appl. Categ. 30, 1096\u20131120 (2015). arXiv:1502.00872","DOI":"10.70930\/tac\/8cw8rvm2"},{"key":"9885_CR48","unstructured":"Fong, B.: The algebra of open and interconnected systems. PhD Thesis, Department of Computer Science, University of Oxford (2016). arXiv:1609.05382"},{"key":"9885_CR49","doi-asserted-by":"crossref","unstructured":"Gadducci, F., Heckel, R.: An inductive view of graph transformation. In: Recent Trends in Algebraic Development Techniques (Tarquinia, 1997), Springer Lecture Notes in Computer Science, vol. 1376, pp. 223\u2013237. Springer, Berlin (1998)","DOI":"10.1007\/3-540-64299-4_36"},{"key":"9885_CR50","volume-title":"Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications","author":"C Girault","year":"2013","unstructured":"Girault, C., Valk, R.: Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications. Springer, Berlin (2013)"},{"key":"9885_CR51","volume-title":"Coherence for Tricategories: Memoirs of American Mathematical Society","author":"R Gordon","year":"1995","unstructured":"Gordon, R., Power, A.J., Street, R.: Coherence for Tricategories: Memoirs of American Mathematical Society, 558th edn. American Mathematical Society, Providence (1995)","edition":"558"},{"key":"9885_CR52","unstructured":"Grandis, M., Par\u00e9, R.: Adjoints for double categories. Cah. Topol. G\u00e9om. Differ. 45, 193\u2013240 (2004). https:\/\/www.numdam.org\/item\/CTGDC_2004_45_3_193_0\/"},{"key":"9885_CR53","unstructured":"Grandis, M., Par\u00e9, R.: Limits in double categories. Cah. Topol. G\u00e9om. Differ. 40, 162\u2013220 (1999). https:\/\/www.numdam.org\/item\/CTGDC_1999_40_3_162_0\/"},{"key":"9885_CR54","volume-title":"Stochastic Petri Nets: Modelling, Stability, Simulation","author":"PJ Haas","year":"2002","unstructured":"Haas, P.J.: Stochastic Petri Nets: Modelling, Stability, Simulation. Springer, Berlin (2002)"},{"key":"9885_CR55","unstructured":"Halter, M., Patterson, E.: Compositional epidemiological modeling using structured cospans (2020). https:\/\/www.algebraicjulia.org\/blog\/post\/2020\/10\/structured-cospans"},{"key":"9885_CR56","unstructured":"Hansen, L.W., Shulman, M.: Constructing symmetric monoidal bicategories functorially. arXiv:1910.09240"},{"key":"9885_CR57","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198739623.001.0001","volume-title":"Categories for Quantum Theory: An Introduction","author":"C Heunen","year":"2019","unstructured":"Heunen, C., Vicary, J.: Categories for Quantum Theory: An Introduction. Oxford University Press, Oxford (2019)"},{"key":"9885_CR58","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/BF00251225","volume":"47","author":"F Horn","year":"1972","unstructured":"Horn, F., Jackson, R.: General mass action kinetics. Arch. Ration. Mech. Anal. 47, 81\u2013116 (1972)","journal-title":"Arch. Ration. Mech. Anal."},{"key":"9885_CR59","doi-asserted-by":"crossref","unstructured":"Katis, P., Sabadini, N., Walters, R.F.C.: Span(Graph): a categorical algebra of transition systems. In: International Conference on Algebraic Methodology and Software Technology, 1997, pp. 307\u2013321. Springer, Berlin (1997)","DOI":"10.1007\/BFb0000479"},{"key":"9885_CR60","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/S0022-4049(96)00012-6","volume":"115","author":"P Katis","year":"1997","unstructured":"Katis, P., Sabadini, N., Walters, R.F.C.: Bicategories of processes. J. Pure Appl. Algebra 115, 141\u2013178 (1997)","journal-title":"J. Pure Appl. Algebra"},{"key":"9885_CR61","first-page":"123","volume":"63","author":"P Katis","year":"2000","unstructured":"Katis, P., Sabadini, N., Walters, R.F.C.: On the algebra of systems with feedback and boundary. Rend. Circ. Mat. Palermo II 63, 123\u2013156 (2000)","journal-title":"Rend. Circ. Mat. Palermo II"},{"key":"9885_CR62","unstructured":"Kelly, G.M.: Basic Concepts of Enriched Category Theory. Cambridge University Press, Cambridge (1982). http:\/\/www.tac.mta.ca\/tac\/reprints\/articles\/10\/tr10abs.html"},{"key":"9885_CR63","unstructured":"Kissinger, A.: Finite matrices are complete for (dagger-)hypergraph categories. arXiv:1406.5942"},{"key":"9885_CR64","doi-asserted-by":"publisher","first-page":"838","DOI":"10.1002\/minf.201000086","volume":"29","author":"I Koch","year":"2010","unstructured":"Koch, I.: Petri nets\u2014a mathematical formalism to analyze chemical reaction networks. Mol. Inform. 29, 838\u2013843 (2010)","journal-title":"Mol. Inform."},{"key":"9885_CR65","doi-asserted-by":"crossref","unstructured":"Kock, J.: Frobenius Algebras and 2D Topological Quantum Field Theories. Cambridge University Press, Cambridge (2003). Short version available at https:\/\/mat.uab.cat\/~kock\/TQFT\/FS.pdf","DOI":"10.1017\/CBO9780511615443"},{"key":"9885_CR66","doi-asserted-by":"crossref","unstructured":"Kock, J.: Whole-grain Petri nets and processes. J. ACM 70, 1\u201358 (2022). arXiv:2005.05108","DOI":"10.1145\/3559103"},{"key":"9885_CR67","doi-asserted-by":"crossref","unstructured":"Lack, S.: Composing PROPs. Theory Appl. Categ. 13, 147\u2013163 (2004). http:\/\/www.tac.mta.ca\/tac\/volumes\/13\/9\/13-09abs.html","DOI":"10.70930\/tac\/py4jt3en"},{"key":"9885_CR68","unstructured":"Lawvere, F.W.: Functorial semantics of algebraic theories. PhD Thesis, Columbia University (1963). Reprinted in Theory Appl. Categ. 5, 1\u2013121 (2004). http:\/\/www.tac.mta.ca\/tac\/reprints\/articles\/5\/tr5abs.html"},{"key":"9885_CR69","unstructured":"Li, X., Mabry, P.L., Osgood, N.D., Patterson, E.: Compositional system dynamics: the higher mathematics underlying system dynamics diagrams and practice. arXiv:2509.18475"},{"key":"9885_CR70","unstructured":"Libkind, S., Myers, D.J.: Towards a double operadic theory of systems. arXiv:2505.18329"},{"key":"9885_CR71","unstructured":"Libkind, S.: An algebra of resource sharing machines. arxiv:2007.14442"},{"key":"9885_CR72","unstructured":"Lynch, O.: Relational composition of physical systems: a categorical approach. MSc Thesis, Department of Physics, Universiteit Utrecht (2022). arXiv:2310.06088"},{"key":"9885_CR73","volume-title":"Categories for the Working Mathematician","author":"S Mac Lane","year":"1997","unstructured":"Mac Lane, S.: Categories for the Working Mathematician. Springer, Berlin (1997)"},{"key":"9885_CR74","doi-asserted-by":"crossref","unstructured":"Master, J.: Petri nets based on Lawvere theories. Math. Struct. Comput. Sci. 30, 833\u2013864 (2020). arXiv:1904.09091","DOI":"10.1017\/S0960129520000262"},{"key":"9885_CR75","doi-asserted-by":"crossref","unstructured":"McCrudden, P.: Balanced coalgebroids. Theory Appl. Categ. 7, 71\u2013147 (2000). http:\/\/www.tac.mta.ca\/tac\/volumes\/7\/n6\/7-06abs.html","DOI":"10.70930\/tac\/trmxhnjz"},{"key":"9885_CR76","unstructured":"ModelCollab. https:\/\/modelcollab.usask.ca\/"},{"key":"9885_CR77","doi-asserted-by":"crossref","unstructured":"Morton, J.: Belief propagation in monoidal categories. Electron. Proc. Theor. Comput. Sci. 172, 262\u2013269 (2014). arXiv:1504.2618","DOI":"10.4204\/EPTCS.172.18"},{"key":"9885_CR78","unstructured":"Myers, D.J.: Categorical Systems Theory, draft as of 3 September (2023). https:\/\/www.davidjaz.com\/Papers\/DynamicalBook.pdf"},{"key":"9885_CR79","doi-asserted-by":"crossref","unstructured":"Myers, D.J.: Double categories of open dynamical systems. EPTCS 333, 154\u2013167 (2021). arXiv:2005.05956","DOI":"10.4204\/EPTCS.333.11"},{"key":"9885_CR80","doi-asserted-by":"crossref","unstructured":"Niefield, S.: Span, cospan, and other double categories. Theory Appl. Categ. 26, 729\u2013742 (2012). arXiv:1201.3789","DOI":"10.70930\/tac\/ws68tanm"},{"key":"9885_CR81","unstructured":"Par\u00e9, B.: Superspans. In: Talk at the Octoberfest, Ottawa, 2015 (2015). https:\/\/www.mscs.dal.ca\/~pare\/Superspans(Beamer).pdf"},{"key":"9885_CR82","unstructured":"Patterson, E., Halter, M.: Compositional epidemiological modeling using structured cospans. AlgebraicJulia Blog (2020). https:\/\/blog.algebraicjulia.org\/post\/2020\/10\/structured-cospans\/"},{"key":"9885_CR83","doi-asserted-by":"crossref","unstructured":"Patterson, E.: Structured and decorated cospans from the viewpoint of double category theory. Electron. Proc. Theor. Comput. Sci. 397 (2023). arXiv:2304.00447","DOI":"10.4204\/EPTCS.397.13"},{"key":"9885_CR84","volume-title":"Petri Net Theory and the Modeling of Systems","author":"JL Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Hoboken (1981)"},{"key":"9885_CR85","unstructured":"Pollard, B.S.: Open Markov processes and reaction networks. PhD Thesis, Department of Physics, U. C. Riverside (2017). arXiv:1709.09743"},{"key":"9885_CR86","unstructured":"Pstra\u0327gowski, P.: On dualizable objects in monoidal bicategories. arXiv:1411.6691"},{"key":"9885_CR87","doi-asserted-by":"crossref","unstructured":"Rosebrugh, R., Sabadini, N., Walters, R.F.C.: Calculating colimits compositionally. In: Concurrency, Graphs and Models (Montanari Festschrift), Lectures Notes in Computer Science, vol. 5065, pp. 581\u2013592. Springer, Berlin. arXiv:0712.2525","DOI":"10.1007\/978-3-540-68679-8_36"},{"key":"9885_CR88","doi-asserted-by":"crossref","unstructured":"Rosebrugh, R., Sabadini, N., Walters, R.F.C.: Generic commutative separable algebras and cospans of graphs. Theory Appl. Categ. 15, 164\u2013177 (2005). http:\/\/tac.mta.ca\/tac\/volumes\/15\/6\/15-06abs.html","DOI":"10.70930\/tac\/k1iphgn8"},{"key":"9885_CR89","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1017\/S096012950400430X","volume":"14","author":"R Rosebrugh","year":"2004","unstructured":"Rosebrugh, R., Sabadini, N., Walters, R.F.C.: Minimization and minimal realization in Span(Graph). Math. Struct. Comput. Sci. 14, 685\u2013714 (2004)","journal-title":"Math. Struct. Comput. Sci."},{"key":"9885_CR90","doi-asserted-by":"crossref","unstructured":"Selinger, P.: A survey of graphical languages for monoidal categories. In: Coecke, B. (ed.) New Structures for Physics, Lecture Notes in Physics, vol. 813. Springer, Berlin (2011). arXiv:0908.3347","DOI":"10.1007\/978-3-642-12821-9_4"},{"key":"9885_CR91","unstructured":"Selinger, P.: Autonomous categories in which $$A \\cong A^\\ast $$ (extended abstract). In: Talk at QPL, 2010 (2010). https:\/\/ncatlab.org\/nlab\/files\/SelingerSelfDual.pdf"},{"key":"9885_CR92","unstructured":"Shulman, M.: Constructing symmetric monoidal bicategories. arXiv:1004.0993"},{"key":"9885_CR93","doi-asserted-by":"crossref","unstructured":"Shulman, M.: Framed bicategories and monoidal fibrations. Theory Appl. Categ. 20, 650\u2013738 (2008). http:\/\/www.tac.mta.ca\/tac\/volumes\/20\/18\/20-18abs.html, arXiv:0706.1286","DOI":"10.70930\/tac\/2m83wy59"},{"key":"9885_CR94","unstructured":"Spivak, D.: The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits (2017). arxiv:1512.01602"},{"key":"9885_CR95","doi-asserted-by":"crossref","unstructured":"Stay, M.: Compact closed bicategories. Theory Appl. Categ. 31, 755\u2013798 (2016). http:\/\/www.tac.mta.ca\/tac\/volumes\/31\/26\/31-26abs.html, arXiv:1301.1053","DOI":"10.70930\/tac\/msroyxdc"},{"key":"9885_CR96","unstructured":"StockFlow.jl. https:\/\/algebraicjulia.github.io\/StockFlow.jl\/"},{"key":"9885_CR97","doi-asserted-by":"publisher","first-page":"3930","DOI":"10.1063\/1.1788852","volume":"45","author":"R Street","year":"2004","unstructured":"Street, R.: Frobenius monads and pseudomonoids. J. Math. Phys. 45, 3930\u20133948 (2004)","journal-title":"J. Math. Phys."},{"key":"9885_CR98","doi-asserted-by":"publisher","DOI":"10.1201\/9781420010664","volume-title":"Stochastic Modelling for Systems Biology","author":"DJ Wilkinson","year":"2006","unstructured":"Wilkinson, D.J.: Stochastic Modelling for Systems Biology. Taylor and Francis, New York (2006)"},{"key":"9885_CR99","unstructured":"Wood, R.J.: Abstract proarrows I. Cahiers 23(3), 279\u2013290 (1982). https:\/\/www.numdam.org\/item\/CTGDC_1982_23_3_279_0\/"},{"key":"9885_CR100","doi-asserted-by":"crossref","unstructured":"Wood, R.J.: Proarrows II. Cahiers 26(2), 135\u2013168 (1985). https:\/\/www.numdam.org\/item\/CTGDC_1985_26_2_135_0\/","DOI":"10.1515\/fabl.1985.26.1-2.135"},{"key":"9885_CR101","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-95001-3","volume-title":"Operads of Wiring Diagrams","author":"D Yau","year":"2018","unstructured":"Yau, D.: Operads of Wiring Diagrams. Lecture Notes in Mathematics, vol. 2192. Springer, Berlin (2018)"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-026-09885-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10485-026-09885-9","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-026-09885-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T10:46:59Z","timestamp":1784803619000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10485-026-09885-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,23]]},"references-count":101,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2026,10]]}},"alternative-id":["9885"],"URL":"https:\/\/doi.org\/10.1007\/s10485-026-09885-9","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,7,23]]},"assertion":[{"value":"26 September 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 June 2026","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 July 2026","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The authors declare no competing interests.","order":1,"name":"Ethics","label":"Conflict of interest","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"Not applicable.","order":2,"name":"Ethics","label":"Ethical Approval","group":{"name":"EthicsHeading","label":"Declarations"}}],"article-number":"46"}}