Jelle Herold

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 5

Top Topics

Discrete Dynamical Systems

Modelling Language

Top Venues

Publications

Fabrizio Genovese, Jelle Herold
A Categorical Semantics for Hierarchical Petri Nets. GCM@STAF (2021)
Fabrizio Genovese, Alex Gryzlov, Jelle Herold, Andre Knispel, Marco Perone, Erik Post, André Videla
idris-ct: A Library to do Category Theory in Idris. ACT (2019)
Fabrizio Genovese, Alex Gryzlov, Jelle Herold, Marco Perone, Erik Post, André Videla
Computational Petri Nets: Adjunctions Considered Harmful. CoRR (2019)
Fabrizio Genovese, Jelle Herold
The Mathematical Specification of the Statebox Language. CoRR (2019)
Fabrizio Genovese, Jelle Herold
Executions in (Semi-)Integer Petri Nets are Compact Closed Categories. QPL (2018)