Search Results for "jgraphx"

...JAGAL builds upon the Java library TOVAL (located at http://sourceforge.net/p/toval). To use JAGAL, make sure the TOVAL library is on the build path. This library uses and encloses jGraphX (https://github.com/jgraph/jgraphx). A documentation for JAGAL can be found under http://doku.telematik.uni-freiburg.de/jagal.

Traverse is a tool set that allows users to check the conformance between archtecitural behavioral scenarios and the implementation. Further documentation about the tool is avaliable on the papers section. Traverse depends on: Eclipse, Eclipse EMF, SWI-Prolog, and JGraphX. SWI-Prolog is not distributed with Traverse, you need to download it from http://www.swi-prolog.org/Download.html . JGraphX is distributed with the project, Please refer to JGraphX license terms from Traverse/lib/JGrapxLicense.txt or from http://www.jgraph.com/jgraphdownload.html

An editor for stochastic Petri-nets which allows creating reachability trees and Markov graphs, simulating and gathering statistics on simulation. Created during "Computer simulation" course at Kiev Polytechnic Institute in 2010. Based on JGraphX.