Halter, M. AlgebraicPetri.jl [Computer software]. https://github.com/AlgebraicJulia/AlgebraicPetri.jl