Sean

> It think there is a much slicker way to do this with the logic of subobjects. > > https://blog.algebraicjulia.org/post/2021/09/cset-graphs-4/#using-the-logic-of-subgraphs > > if A is the Petri net with only...

@jpfairbanks not sure if I'm using the subobject interface wrong, I'm not getting the subnet I expected (i.e. the one with 2 places and 1 transition) ```julia julia> sir_petri =...

@mehalter I think I've addressed (finally) James' comments locally but I'm not sure how to best pull the updates from main on AlgJulia into this branch on my fork. Can...

Thanks @mehalter, I ended up just rebasing this branch onto main to grab the latest changes. This branch was made pre Catlab v0.15 so it had the old `using` for...

Whoops, thanks. Still not gittin it.

Adding the definition of `LabeledSet` here that I used, for completeness ```julia @present SetSch(FreeSchema) begin X::Ob end @present LabeledSetSch