Petri Game Strategy Synthesis
NB: This is still a work in progress. Breaking changes can be expected.
To get started make sure that you have Java 16 or higher installed. The program requires two things, a model and a formula. Models are either PNMLs or TAPNs. We recommend creating your models using TAPAAL when creating models with multiple players.
For now, the syntax requires a space between the quantifier and the operator. That is, a formula like AF(P1 = 1) has to be written A F(P1 = 1).