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].
kris-brown / algebraicpetri.jl Goto Github PK
View Code? Open in Web Editor NEWThis project forked from algebraicjulia/algebraicpetri.jl
Build Petri net models compositionally
License: MIT License