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.
The sub-menu when loading an example is ordered by name. It would be better to show first the folders (ordered by name) and then the files (ordered by name).
The sub-menu when loading an example is ordered by name. It would be better to show first the folders (ordered by name) and then the files (ordered by name).