11 citations · 17 across the 2 of their papers we have counts for
Showing math.CTShow all
3 papers · 1 filter
math.CT2019
Foundations of brick diagrams
Jules Hedges, Jelle Herold
We discuss the foundations of 2-dimensional graphical languages, with a view towards their computer implementation in a 'compiler' for monoidal categories. In particular, we discus…
math.CT2019★ 11 cited
Computational Petri Nets: Adjunctions Considered Harmful
Fabrizio Genovese, Alex Gryzlov, Jelle Herold +3
We review some of the endeavors in trying to connect Petri nets with free symmetric monoidal categories. We give a list of requirement such connections should respect if they are m…
math.CT2018
Executions in (Semi-)Integer Petri Nets are Compact Closed Categories
Fabrizio Genovese, Jelle Herold
In this work, we analyse Petri nets where places are allowed to have a negative number of tokens. For each net we build its correspondent category of executions, which is compact c…