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.
To make the user interface more intuitive, add a button for checking the formula to the right of the input field. I think a play button would best fit.
To make the user interface more intuitive, add a button for checking the formula to the right of the input field. I think a play button would best fit.