Petri net framework for security related modeling and reasoning.
A diagram/modeling tool.
A tool for automatically generating UML database diagrams.
Repository for dependencies between software design artefacts
A graphical editor for PlantUML diagrams.
Generator for textual models by applying different techniques
Provenance in NetLogo