Java graph library
Petri net framework for security related modeling and reasoning.
Repository for dependencies between software design artefacts
A StarUML C++ Module supporting incremental reverse engineering.
Generator for textual models by applying different techniques
Prototype editor for the SDEM Mapping Language
Requirement Modeling Tool
PetriNetExec a library for embedding Petri Nets into Java applications
Visualize Galois sub-hierarchy of 2d matrix
SCOPE: Space-Based Coordination Process Engineering