A Rodin Platform Plug-in for Generic Instantiation
Code generation from UML to any language (Java, Objective-C, PHP...)
Java graph library
Petri net framework for security related modeling and reasoning.
Travel Market Simulator
A tool for automatically generating UML database diagrams.
Simulador de Redes de Petri Interpretadas para Controle
Utility converts the weights file of a MLP Breadboard into a formula
C++ inline state machine library
Repository for dependencies between software design artefacts
A graphical editor for PlantUML diagrams.