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].
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].
Settings
This document was generated with Documenter.jl version 0.27.24 on Sunday 29 October 2023. Using Julia version 1.9.2.