Search Results for "jgraphx"

JAGAL provides implementations for directed graphs (weighted and unweighted) and varoius types of transition systems as well as utils for graph traversal and modification. 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...

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.