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.
The input field for the formula could additionally allow to select the standard formulas like drop freedom, loop freedom, package coherence etc. (see SDNFormelCreator).
For that we need to allow annotations for places and transitions:
The input field for the formula could additionally allow to select the standard formulas like drop freedom, loop freedom, package coherence etc. (see
SDNFormelCreator).For that we need to allow annotations for places and transitions:
SDNTools.egressExtension, SDNTools.updateStartID, SDNTools.infixActPlace, SDNTools.fwdExtension, SDNTools.switchExtension