define category of Petri nets executions

statebox / idris-stbx-core

Category theoretic semantics of glued open Petri nets in Idris

https://statebox.org/

1 stars 1 forks source link

Open marcosh opened 5 years ago

andrevidela commented 5 years ago