Free software for generating understandable and accurate fuzzy systems
MDA support for Alloy
Plugin for MagicDraw to support MBSE with SysML
A Rodin Platform Plug-in for Generic Instantiation
Petri net framework for security related modeling and reasoning.
Java graph library
Simulador de Redes de Petri Interpretadas para Controle
Utility converts the weights file of a MLP Breadboard into a formula
A tool for automatically generating UML database diagrams.