For study and development work at the forum, this can motivate a couple more branches of the quest:

* Understanding the contemporary research into the mathematical foundations of Petri nets
* Development and application of simulation software

The former taps into our interest in ACT at the forum. The latter taps into our interest in software development.