Petri nets are interesting, and used e.g. in biology to model some cell regulatory processes. However, it's really hard to infer properties from them in a stat

Petri nets are interesting, and used e.g. in biology to model some cell regulatory processes. However, it's really hard to infer properties from them in a static manner using model checking or abstract interpretation. How are we going to infer properties about petri nets or the models Wolfram is proposing? Geometry or differential equations have been so successful because they are amenable to algebraic and analytic approaches.