Skip to content

Latest commit

 

History

History
12 lines (10 loc) · 882 Bytes

README.md

File metadata and controls

12 lines (10 loc) · 882 Bytes

AlgebraicPetri.jl

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