AlgebraicJulia / AlgebraicPetri.jl

Build Petri net models compositionally
https://algebraicjulia.github.io/AlgebraicPetri.jl/
MIT License
76 stars 21 forks source link

Fix MCA recursion overflowing #131

Closed p-stokes closed 1 year ago

p-stokes commented 1 year ago

Addresses mca not searching/recursing correctly. Resolves #127, resolves #128, resolves #129
Adds function to obtain the morphisms