Petri net framework for security related modeling and reasoning.
A diagram/modeling tool.
A tool for automatically generating UML database diagrams.
Generator for textual models by applying different techniques
Raspberry Pi Projekt Multifunktions Wecker
Prototype editor for the SDEM Mapping Language
Visualize Galois sub-hierarchy of 2d matrix
Testbed for playing with the algorithm "pagerank" of Google
Workflow Tool for Eclipse