search

AlgebraicJulia / AlgebraicPetri.jl

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

Expands `mca` to take a vector of input acsets and to return the morphisms as well as the max subacset. #140

Closed p-stokes closed 1 year ago

p-stokes commented 1 year ago

Currently needs a couple adjustments:

  1. The doms of the morphisms currently have parts names/indexes that differ between each other s.t. spans can't currently be formed. The morphism formation needs be adjusted to use the common subacset.
  2. There is a bit of unnecessary handling of a case that can't occur, that of more than one non-isomorphic mca. This can be converted into a check for isomorphism and the rest streamlined.

resolves #132, resolves #133, resolves #141

mehalter commented 1 year ago

Changed base to test_cleanup until that branch gets merged in. Mainly to remove the test restructuring from this PR

mehalter commented 1 year ago

I'm going to go ahead and close this because it's replaced with https://github.com/AlgebraicJulia/Catlab.jl/pull/777