GitHub repository: p-stokes/AlgebraicPetri.jl
Primary language: Julia
Description: Build Petri net models compositionally