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

Not everytime an unsafe net causes an exception #14

Closed mgieseking closed 4 years ago

mgieseking commented 4 years ago

Not in every case it is checked whether the net is safe.

For example: Set for burglar.apt 5 token on place 'ab' and then asking whether a strategy exists results in Failure reason: net.sf.javabdd.BDDException

mgieseking commented 4 years ago

This is dependent on how the SolverOptions are set when calling the methods from AdamSynthesizer. The standard value is that the tests are skipped. This is the correct approach when we implemented issue #22 and integrated these checks in the web interface because this saves calculation time.