2019/04/29 by Fabrizio Genovese, Genovese, Fabrizio, Alex Gryzlov +9 · 1 citation
Computer Science · #Advanced Database Systems and Queries #Category Theory (math.CT) #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #FOS: Mathematics #Parallel #Performance (cs.PF) #Petri Nets in System Modeling #and Cluster Computing (cs.DC)
paper · pdf · doi:10.48550/arxiv.1904.12974
openalex publication_date 2019/04/29 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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 meant to be useful for practical/implementation purposes. We show how previous approaches do not satisfy them, and give compelling evidence that this depends on trying to make the correspondence functorial in the direction from nets to free symmetric monoidal categories, in order to produce an adjunction. We show that dropping this immediately honors our desiderata, and conclude by introducing an Idris library which implements them.