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.
When hitting 2-player game (incremental), open the tab and provide two buttons ("explicit", "symbolic") with the explanation "Restricted approach to consider cases where in every infinite sequence of transitions there
are infinitely many transitions involving the environment (faster)" and "General approach (maybe slow for the first successor)".
When calling it you can set a flag in line 235 of JobType.java:
BDDGraphExplorerStepwise bddGraphExplorerStepwise
= new BDDGraphExplorerStepwise(petriGame, false); //TODO add the correct flag here depending on the approach
When hitting 2-player game (incremental), open the tab and provide two buttons ("explicit", "symbolic") with the explanation "Restricted approach to consider cases where in every infinite sequence of transitions there are infinitely many transitions involving the environment (faster)" and "General approach (maybe slow for the first successor)".
When calling it you can set a flag in line 235 of JobType.java:
See https://github.com/adamtool/webinterface/issues/61#issuecomment-709220288_