AlgebraicPetri.jl
AlgebraicPetri.jl is a Julia library for building Petri Net models
compositionally. This library acts as a bridge between
Catlab.jl and
Petri.jl. This package defines the
category of Open Petri Nets as described in [Baez 2018].