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.
In this screenshot, I expanded state "2", and its successors "7" and "8" only floated a small distance away before stopping.
This would have been broken in 1d8891c7b3f05420de00daeb9907642ffd0c947d. It should be a simple fix to simply bump up the 'alpha' of the simulation when a state is expanded.
In this screenshot, I expanded state "2", and its successors "7" and "8" only floated a small distance away before stopping.
This would have been broken in 1d8891c7b3f05420de00daeb9907642ffd0c947d. It should be a simple fix to simply bump up the 'alpha' of the simulation when a state is expanded.