What progress have you made since your last update?

We have further developed the categorical foundations of SDCPNs and their generalizations as well developed an initial approach to their model checking using Monte Carlo optimization (which is now in use in Petrinaut)

The team has taken on two new contractors who are experts in Petri net theory and stochastic control theory.

What are your next steps?

We have been continued on to Phase 3 of the SGAI program with new projects and goals. These include:

Developing a temporal logic for SDCPNs which optimizes the model based on a safety spec, improving on the Monte Carlo method we have already developed.

Using category theory to generalize SDCPNs to related models and develop compositionality theorems to manage their state space explosion.

Generalizing region theory with categories to allow for correct-by-construction synthesis of SDCPNs and related structures.

Supporting the other SGAI teams so that our combined final output will be based on rigorous foundations.

Is there anything others could help you with?

After the SGAI program ends in November 2027 there will still be more work to do on the theory of model checking SDCPNs and their generalizations. We are already putting out feelers for potential funding sources which would allow us to do this work.