search

adamtool / webinterface

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.
http://adam.informatik.uni-oldenburg.de:4567/
GNU General Public License v3.0
5 stars 2 forks source link

Loading the counter examples in the editor confuses the show data flow button #92

Closed mgieseking closed 4 years ago

mgieseking commented 4 years ago

When loading the extended example this is loaded and also the net is replace into the simulator to the left. Then there should no "show data flow button". On same way it worked and there wasn't the button, but when I load back a Petri net with transits, the button was still gone.

Especially the first one is a problem because this throws an exception when clicking the button.

annyanich commented 4 years ago

Sorry, the 'extended example' means the "counter example (constructed petri net)", right? I will disable it for that one.

annyanich commented 4 years ago

On same way it worked and there wasn't the button, but when I load back a Petri net with transits, the button was still gone.

Is it possible that you loaded the petri net with transits from the editor? In that case, the button will not be shown until you have fired at least one transition.

annyanich commented 4 years ago

Closing for now, let me know if there is anything wrong after this commit :)

mgieseking commented 4 years ago

Everythings fine, perfect thanks.