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: Visualisation of data flow trees of a firing sequence #52

Closed mgieseking closed 4 years ago

mgieseking commented 4 years ago

In the simulation of the input Pnwt, add a panel to the buttom where the data trees of the simulation are visualized. Depends on finishing #51.

mgieseking commented 4 years ago

I added now the method

public static List<DataFlowTree> getDataFlowTrees(PetriNetWithTransits pnwt, List<Transition> firingSequence) {

in PNWTTools to calculate the trees. And

public static String dataFlowTreesToDot(List<DataFlowTree> trees) {

and

public static void saveDataFlowTreesToPDF(String path, List<DataFlowTree> trees, String procID) throws FileNotFoundException, IOException {

for the visualization.

annyanich commented 4 years ago

Put the "Save" button "Show data flow" at the bottom of the simulation history sidebar

annyanich commented 4 years ago

Implemented as of 80b65b45bb631454d504645d0cdfb9d9eaaa3d03