A Rodin Platform Plug-in for Generic Instantiation
A tool for visualization and analysis of logs as sequence diagrams
Petri net framework for security related modeling and reasoning.
A diagram/modeling tool.
Simulador de Redes de Petri Interpretadas para Controle
C++ inline state machine library
A general recommender system with basic models and MRA
Synchronous Petri Nets' emulator
Simplie tool for analysis small angle X-ray data.
Configurable Object Oriented Rapid Application Development system
Provenance in NetLogo
Prototype editor for the SDEM Mapping Language
Utility functionalities for simple Xml usage in Java