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 improve the visibility and performance of the two-player game:
Show for each state having several bad successors (normally there are a lot) only one bad successor. Clicking this successor expands all other successors. Clicking an unfolded successor collapses the states again.
To improve the visibility and performance of the two-player game:
Show for each state having several bad successors (normally there are a lot) only one bad successor. Clicking this successor expands all other successors. Clicking an unfolded successor collapses the states again.