Library Reference
AlgebraicPetri.AlgebraicPetri
— ModuleComputing in the category of finite sets and Petri cospans
AlgebraicPetri.AlgebraicPetri
— ModuleComputing in the category of finite sets and Petri cospans
Settings
This document was generated with Documenter.jl on Saturday 17 April 2021. Using Julia version 1.6.0.