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.
Disable the functionality to switch with a right click on the 'about' button to the other approach. Currently, when first on the synthesis approach and then switching to the model checking approach leads to the case that changing the condition does not change the formula.
Disable the functionality to switch with a right click on the 'about' button to the other approach. Currently, when first on the synthesis approach and then switching to the model checking approach leads to the case that changing the condition does not change the formula.