The web interface for the tool Adam (AdamMC and AdamSYNT) providing an intuitive, visual definition of Petri nets with transits and Petri games, and an interactive interface to the algorithms of AdamMC and AdamSYNT. Contains the repos (as submodules): libs, framework, logics, modelchecking, examples, synthesizer, high-level, webinterface-backend.
In the model checking approach it is not necessary to have an objective given in the Petri net with transits. Currently, there is an exception creating such APT files.
In the model checking approach it is not necessary to have an objective given in the Petri net with transits. Currently, there is an exception creating such APT files.