Executions in (Semi-)Integer Petri Nets are Compact Closed Categories. - Fabrizio Genovese; Jelle Herold (QPL, 2018)

Computational Petri Nets: Adjunctions Considered Harmful. - Fabrizio Genovese; Alex Gryzlov; Jelle Herold; Marco Perone; Erik Post; André Videla (CoRR, 2019)

The Mathematical Specification of the Statebox Language. - Fabrizio Genovese; Jelle Herold (CoRR, 2019)

idris-ct: A Library to do Category Theory in Idris. - Fabrizio Genovese; Alex Gryzlov; Jelle Herold; Andre Knispel; Marco Perone; Erik Post; André Videla (ACT, 2019)

A Categorical Semantics for Hierarchical Petri Nets. - Fabrizio Genovese; Jelle Herold (GCM@STAF, 2021)