oapply_typed results in wrong wiring

[sdwfrost]

This simple SEIR example gives a wiring from I to R in the UWD (correct) but from E to R in the labelled Petri net.

using AlgebraicPetri,AlgebraicPetri.TypedPetri
using Catlab, Catlab.CategoricalAlgebra, Catlab.Programs
using Catlab.WiringDiagrams, Catlab.Graphics
using AlgebraicDynamics.UWDDynam


epi_transitions = LabelledPetriNet(
  [:Pop],
  :infection=>((:Pop, :Pop)=>(:Pop, :Pop)),
  :progression=>(:Pop=>:Pop),
  :recovery=>(:Pop=>:Pop)
)

seir_uwd = @relation () where (S::Pop, E::Pop, I::Pop, R::Pop) begin
    infection(S, I, E, I)
    progression(E, I)
    recovery(I, R)
end
to_graphviz(seir_uwd, box_labels=:name, junction_labels=:variable)

seir_acst = oapply_typed(epi_transitions, seir_uwd, [:β, :δ, :γ])
seir_lpn = dom(seir_acst)
Graph(seir_lpn)

@jpfairbanks found that changing the order to (S::Pop, I::Pop, E::Pop, R::Pop) in the @relation fixed this.

[sdwfrost]

Thanks @epatters @mehalter! QQ: after I updated, Graph no longer works...has there been an API change?

[epatters]

Sure! This was a breaking change in the latest major release of AlgPetri for consistency with Catlab. Use to_graphviz instead.

(The reason for this change is that Graph is the name of the basic graph type exported by Catlab.Graphs.)