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.
See #74 @mgieseking "As nice feature (in the future) one could add a button to load a random example (kind of a gray text in the middle, disappearing when a net is modeled)."
See #74 @mgieseking "As nice feature (in the future) one could add a button to load a random example (kind of a gray text in the middle, disappearing when a net is modeled)."