YingboMa/AlgebraicPetri.jl

Build Petri net models compositionally

JuliaMIT