@inproceedings(Baez2021,
 author       = {John C. Baez and Fabrizio Genovese and Jade Master and Michael Shulman},
 year         = {2021},
 title        = {Categories of Nets},
 booktitle    = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2021, Rome, Italy, June 29 - July 2, 2021},
 publisher    = {{IEEE}},
 pages        = {1--13},
 doi          = {10.1109/LICS52264.2021.9470566},
)
@article(Baez2020a,
 author       = {John C. Baez and Jade Master},
 year         = {2020},
 title        = {Open Petri nets},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {30},
 number       = {3},
 pages        = {314\IeC{\textendash}341},
 doi          = {10.1017/S0960129520000043},
)
@article(baldan2018petri,
 author       = {P. Baldan and M. Bocci and D. Brigolin and N. Cocco and M. Heiner and M. Simeoni},
 year         = {2018},
 title        = {Petri nets for modelling and analysing trophic networks},
 journal      = {Fundamenta Informaticae},
 volume       = {160},
 number       = {1-2},
 pages        = {27--52},
 doi          = {10.3233/FI-2018-1673},
)
@inproceedings(baldan2014encoding,
 author       = {P. Baldan and F. Bonchi and F. Gadducci and G.V. Monreale},
 year         = {2014},
 title        = {Encoding synchronous interactions using labelled Petri nets},
 booktitle    = {International Conference on Coordination Languages and Models},
 organization = {Springer},
 pages        = {1--16},
 doi          = {10.1007/978-3-662-43376-8\_1},
)
@incollection(baldan2015asynchronous,
 author       = {P. Baldan and F. Bonchi and F. Gadducci and G.V. Monreale},
 year         = {2015},
 title        = {Asynchronous Traces and Open Petri Nets},
 booktitle    = {Programming Languages with Applications to Biology and Security},
 publisher    = {Springer},
 pages        = {86--102},
 doi          = {10.1007/978-3-319-25527-9\_8},
)
@article(baldan2015modular,
 author       = {P. Baldan and F. Bonchi and F. Gadducci and G.V. Monreale},
 year         = {2015},
 title        = {Modular encoding of synchronous and asynchronous interactions using open Petri nets},
 journal      = {Science of Computer Programming},
 volume       = {109},
 pages        = {96--124},
 doi          = {10.1016/j.scico.2014.11.019},
)
@inproceedings(baldan2011mpath2pn,
 author       = {P. Baldan and N. Cocco and De Nes, F. and M.L. Segura and M. Simeoni},
 year         = {2011},
 title        = {MPath2PN-Translating metabolic pathways into Petri nets},
 booktitle    = {BioPPN2011 Int. Workshop on Biological Processes and Petri Nets, CEUR Workshop Proceedings},
 volume       = {724},
 pages        = {102--116},
)
@inproceedings(baldan2001compositional,
 author       = {P. Baldan and A. Corradini and H. Ehrig and R. Heckel},
 year         = {2001},
 title        = {Compositional modeling of reactive systems using open nets},
 booktitle    = {International Conference on Concurrency Theory},
 organization = {Springer},
 pages        = {502--518},
 doi          = {10.1007/3-540-44685-0\_34},
)
@inproceedings(baldan2008open,
 author       = {P. Baldan and A. Corradini and H. Ehrig and B. K{\"o}nig},
 year         = {2008},
 title        = {Open Petri nets: Non-deterministic processes and compositionality},
 booktitle    = {International Conference on Graph Transformation},
 organization = {Springer},
 pages        = {257--273},
 doi          = {10.1007/978-3-540-87405-8\_18},
)
@article(baldan2010petri,
 author       = {P. Baldan and A. Corradini and F. Gadducci and U. Montanari},
 year         = {2010},
 title        = {From Petri nets to graph transformation systems},
 journal      = {Electronic Communications of the EASST},
 volume       = {26},
 doi          = {10.14279/tuj.eceasst.26.368},
)
@article(baldan2005relating,
 author       = {P. Baldan and A. Corradini and U. Montanari},
 year         = {2005},
 title        = {Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {127},
 number       = {2},
 pages        = {5--28},
 doi          = {10.1016/j.entcs.2005.02.003},
)
@article(baldan2019petri,
 author       = {P. Baldan and F. Gadducci},
 year         = {2019},
 title        = {Petri nets are dioids: a new algebraic foundation for non-deterministic net theory},
 journal      = {Acta Informatica},
 volume       = {56},
 number       = {1},
 pages        = {61--92},
 doi          = {10.1007/s00236-018-0314-0},
)
@inbook(Benabou1967,
 author       = {J. B\'enabou},
 title        = {Introduction to {{Bicategories}}},
 pages        = {1--77},
 volume       = {47},
 publisher    = {{Springer Berlin Heidelberg}},
 doi          = {10.1007/BFb0074299},
)
@inproceedings(Buchholz1994HierarchicalHL,
 author       = {P. Buchholz},
 year         = {1994},
 title        = {Hierarchical High Level Petri Nets for Complex System Analysis},
 booktitle    = {Application and Theory of Petri Nets},
 doi          = {10.1007/3-540-58152-9\_8},
)
@unpublished(benabou2000distributors,
 author       = {B\IeC{\'e}nabou, J. and T. Streicher},
 year         = {2000},
 title        = {Distributors at work},
 note         = {Lecture notes written by Thomas Streicher},
)
@article(cattani2005profunctors,
 author       = {G. L. Cattani and G. Winskel},
 year         = {2005},
 title        = {Profunctors, open maps and bisimulation},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {15},
 number       = {03},
 pages        = {553--614},
 doi          = {10.1017/S0960129505004718},
)
@article(Esparza1994,
 author       = {J. Esparza and N. Mogens},
 year         = {1994},
 title        = {Decidability Issues for Petri Nets - a survey},
 journal      = {J. Inf. Process. Cybern.},
 volume       = {30},
 number       = {3},
 pages        = {143--160},
)
@inproceedings(fehling1991concept,
 author       = {R. Fehling},
 year         = {1991},
 title        = {A concept of hierarchical Petri nets with building blocks},
 booktitle    = {International Conference on Application and Theory of Petri Nets},
 organization = {Springer},
 pages        = {148--168},
 doi          = {10.1007/3-540-56689-9\_43},
)
@(Genovese2019d,
 author       = {F. Genovese and A. Gryzlov and J. Herold and A. Knispel and M. Perone and E. Post and A. Videla},
 title        = {Idris-Ct: {{A Library}} to Do {{Category Theory}} in {{Idris}}},
 url          = {http://arxiv.org/abs/1912.06191},
)
@(Genovese2019c,
 author       = {F. Genovese and A. Gryzlov and J. Herold and M. Perone and E. Post and A. Videla},
 title        = {Computational {{Petri Nets}}: {{Adjunctions Considered Harmful}}},
 url          = {http://arxiv.org/abs/1904.12974},
)
@article(Genovese2019b,
 author       = {F. Genovese and J. Herold},
 title        = {Executions in ({{Semi}}-){{Integer Petri Nets}} Are {{Compact Closed Categories}}},
 volume       = {287},
 pages        = {127--144},
 doi          = {10.4204/EPTCS.287.7},
)
@(Genovese2021,
 author       = {F. Genovese and F. Loregian and D. Palombi},
 title        = {A {{Categorical Semantics}} for {{Bounded Petri Nets}}},
 url          = {http://arxiv.org/abs/2101.09100},
)
@(Genovese2021a,
 author       = {F. Genovese and F. Loregian and D. Palombi},
 title        = {Nets with {{Mana}}: {{A Framework}} for {{Chemical Reaction Modelling}}},
 doi          = {10.1007/978-3-030-78946-6\_10},
 url          = {http://arxiv.org/abs/2101.06234},
)
@incollection(Genovese2020,
 author       = {F. Genovese and D.I. Spivak},
 title        = {A {{Categorical Semantics}} for {{Guarded Petri Nets}}},
 editor       = {F. Gadducci and Timo Kehrer},
 booktitle    = {Graph {{Transformation}}},
 series       = {Lecture {{Notes}} in {{Computer Science}}},
 volume       = {12150},
 publisher    = {{Springer International Publishing}},
 pages        = {57--74},
 doi          = {10.1007/978-3-030-51372-6\_4},
)
@inproceedings(huber1989hierarchies,
 author       = {P. Huber and K. Jensen and R.M. Shapiro},
 year         = {1989},
 title        = {Hierarchies in coloured Petri nets},
 booktitle    = {International Conference on Application and Theory of Petri Nets},
 organization = {Springer},
 pages        = {313--341},
 doi          = {10.1007/978-3-662-06289-0\_3},
)
@book(Jensen2009,
 author       = {K. Jensen and L.M. Kristensen},
 title        = {Coloured {{Petri Nets}}},
 publisher    = {{Springer Berlin Heidelberg}},
 doi          = {10.1007/BFb0046842},
)
@article(2catlimits,
 author       = {G.M. Kelly},
 year         = {1989},
 title        = {Elementary observations on 2-categorical limits},
 journal      = {Bulletin of the Australian Mathematical Society},
 volume       = {39},
 pages        = {301--317},
 doi          = {10.1017/S0004972700002781},
)
@article(Kohler-Bussmeier2014,
 author       = {K\"ohler-Bu{\ss}meier, M.},
 title        = {A {{Survey}} of {{Decidability Results}} for {{Elementary Object Systems}}},
 number       = {1},
 pages        = {99--123},
 doi          = {10.3233/FI-2014-983},
)
@book(coend-calcu,
 author       = {F. Loregian},
 year         = {2021},
 title        = {Coend Calculus},
 series       = {London Mathematical Society Lecture Note Series},
 volume       = {468},
 publisher    = {Cambridge University Press},
 note         = {ISBN 9781108746120},
)
@article(Master2020,
 author       = {J. Master},
 title        = {Petri {{Nets Based}} on {{Lawvere Theories}}},
 volume       = {30},
 number       = {7},
 pages        = {833--864},
 doi          = {10.1017/S0960129520000262},
)
@article(Meseguer1990,
 author       = {J. Meseguer and U. Montanari},
 title        = {Petri {{Nets}} Are {{Monoids}}},
 volume       = {88},
 number       = {2},
 pages        = {105--155},
 doi          = {10.1016/0890-5401(90)90013-8},
)
@inproceedings(oswald1990environment,
 author       = {H. Oswald and R. Esser and R. Mattmann},
 year         = {1990},
 title        = {An environment for specifying and executing hierarchical Petri nets},
 booktitle    = {[1990] Proceedings. 12th International Conference on Software Engineering},
 organization = {IEEE},
 pages        = {164--172},
 doi          = {10.5555/100296.100319},
)
@incollection(Pavlovic1997,
 author       = {D. Pavlovi\'c and S. Abramsky},
 title        = {Specifying {{Interaction Categories}}},
 editor       = {Eugenio Moggi and Giuseppe Rosolini},
 booktitle    = {Category {{Theory}} and {{Computer Science}}},
 series       = {Lecture {{Notes}} in {{Computer Science}}},
 volume       = {1290},
 publisher    = {{Springer Berlin Heidelberg}},
 pages        = {147--158},
 doi          = {10.5555/648335.755738},
)
@incollection(Sassone1995,
 author       = {V. Sassone},
 title        = {On the {{Category}} of {{Petri Net Computations}}},
 booktitle    = {{{TAPSOFT}} '95: {{Theory}} and {{Practice}} of {{Software Development}}},
 volume       = {915},
 publisher    = {{Springer Berlin Heidelberg}},
 pages        = {334--348},
 doi          = {10.1007/3-540-59293-8\_205},
)
@(StateboxTeam2019,
 author       = {{Statebox Team}},
 title        = {The {{Mathematical Specification}} of the {{Statebox Language}}},
 url          = {http://arxiv.org/abs/1906.07629},
)
@(StateboxTeam2017a,
 author       = {{Statebox Team}},
 title        = {Statebox, {{Compositional Diagrammatic Programming Language}}},
 url          = {https://statebox.org},
)
@(UniversityofTorino2018,
 author       = {{University of Torino}},
 title        = {{{GreatSPN Github}} Page},
 url          = {https://github.com/greatspn/SOURCES},
)
@(Zanasi2018,
 author       = {F. Zanasi},
 title        = {Interacting {{Hopf Algebras}}: The {{Theory}} of {{Linear Systems}}},
 url          = {http://arxiv.org/abs/1805.03032},
)