The simulation tooling available in Petri.jl should be able to be migrated into AlgebraicPetri.jl, removing the need for dependence on Petri.jl.