Search Results for "mtd-utils"

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.

SEPIA provides implementations for various types of Petri nets. Along Place/Transition-nets, it supports Petri nets with distinguishable token colors and defines coloured workflow nets, where coloured tokens are interpreted as data elements used during process execution. To support information flow analysis of processes, SEPIA defines so-called IF-Nets, tailored for security-oriented workflow modeling which enable users to assign security-levels (HIGH, LOW) to transitions, data elements and...

xmi-utils is a set of java libraries for working with xmi model and metamodel defined by the OMG. features: xmi parser, xmi repository, create java interfaces from metamodel, proxy for interfaces generated from metamodel

The xmi-utils eclipse plugin integrates the xmi-utils library into eclipse and provides a repository and other functionalities for other plugins. In addition it extends eclipse with some helpers for working with xmi files and repositories.