Build petri net agent based models compositionally
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

882 B


Documentation Tests Code Coverage DOI

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].