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.
We allow way more identifiers for the nodes in the web interface than the parser can parse. This leads to problem by switching from net to the text editor.
Don't yet know if we want to restrict the web interface more, or want to make the parser more liberal.
A similar problem exists for the Flow-LTL formula parser.
We allow way more identifiers for the nodes in the web interface than the parser can parse. This leads to problem by switching from net to the text editor.
Don't yet know if we want to restrict the web interface more, or want to make the parser more liberal.
A similar problem exists for the Flow-LTL formula parser.