slwu89
commented
2 years ago This does not appear to make sense in general, see "Therefore p2 at match m2 cannot delete anything that has been explicitly preserved by the application of p1 at match m1 , and, moreover, it cannot use (neither consuming nor preserving it) any element generated by p1 ; this implies that the overlapping of R1 and L2 in H1 must be included in the intersection of the interface graphs K1 and K2."
Perhaps it is possible however to somehow lump firing rewrite rules.
within a time step, most well formulated epi models (at least in the style of starting with ODEs/flows and turning them into a CTMC) should allow all matches to be applied in parallel (disjoint unions of all the updates). I should test this out if Catlab has it.