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: The calculated Petri net does not fit for more than one flow subformula #29

Closed mgieseking closed 4 years ago

mgieseking commented 4 years ago

When calculating the model checking net for a Petri net with transits for a formula with more than one flow subformula, the net is still the one belonging to one subformula.

mgieseking commented 4 years ago

Fixed in the backend version 2.2 (commit 4c53513)