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 examples which are available from the menu are located in ./client/src/assets/apt-examples-synthesis/ and ./client/src/assets/apt-examples-mc/, respectively. Add a script which only collects the examples which have coordinates and move them into the respective folders.
mgieseking
commented
4 years ago
The examples which are available from the menu are located in ./client/src/assets/apt-examples-synthesis/ and ./client/src/assets/apt-examples-mc/, respectively. Add a script which only collects the examples which have coordinates and move them into the respective folders.