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

MC: Improve the generated coordinates for the constructed Petri net #71

Closed mgieseking closed 4 years ago

mgieseking commented 4 years ago

Some node are overlapping and the first and the second subnet may overlap (e.g., SF example)

mgieseking commented 4 years ago

Did the node overlapping and added coordinates to the 'new flow' place in commit 5a41894 of the model checker repository. The overlapping of the subnet wasn't really a problem of the coordinates but of #43