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

The button 'fire transitions' in the simulator seems to have no behavior #18

Closed mgieseking closed 4 years ago

mgieseking commented 4 years ago

When I click the button 'fire transitions' of the menu to the left in the simulator nothing seems to happen.

annyanich commented 4 years ago

My idea when designing the UI was that in the simulator, "Fire transitions" would be one of two modal "tools" you can switch between, the other being "Select", analogous to the tools named "Select", "Delete", "Draw Flow", "Draw Transit", etc. in the editor. See attached: Editor tools Simulator tools

I've tried to visually indicate that these are "tools" and distinguish them from one-time "actions" such as "Auto-layout" and "Zoom to fit" by separating the tools into a group using horizontal dividers and drawing an outline around the selected tool, but I guess it might not be clear enough. Do you think it would be more effective if I added some text labels, like "TOOLS", "ACTIONS", and "Active tool"? (See below. Forgive the ugly fonts.) gui-mockup-toolbar-labels

I would also consider removing the "Select" tool from the simulator. Would that make sense to you? I'm not sure if it's a useful thing to have.

mgieseking commented 4 years ago

I'm sorry, now I get it. It was maybe a little bit confusing since I'm still able to move the nodes and also use the rectangle to select nodes in the fire transitions mode. I don't think it is necessary to have names there (doesn't look that nice ;)). I think I was mostly confused because I thought of the automatically firing of random enabled transitions feature... I think it's good and consistent. Sorry.

annyanich commented 4 years ago

Okie dokie :)