A tool for visualization and analysis of logs as sequence diagrams
Petri net framework for security related modeling and reasoning.
Java graph library
A diagram/modeling tool.
Repository for dependencies between software design artefacts
A graphical editor for PlantUML diagrams.
Generator for textual models by applying different techniques
Raspberry Pi Projekt Multifunktions Wecker
Provenance in NetLogo