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 APT file already accepts weights on the arcs, and the fireability handles it correctly, but there is no visualization and not GUI support to model it.
Add the number got by flow.getWeight() to the edges (when it is not 1)
Add a point in the context menu for right clicking an edge to add a weight
The APT file already accepts weights on the arcs, and the fireability handles it correctly, but there is no visualization and not GUI support to model it.