AlgebraicPetri.jl

Build petri net models compositionally
Author AlgebraicJulia
Popularity
28 Stars
Updated Last
4 Months Ago
Started In
June 2020

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

Used By Packages