ArgoSPE is a plug-in for the ArgoUML tool.
From a UML model, ArgoSPE:
- Generates Petri nets in GreatSPN format.
- Calculates performance parameters through a set of predefined queries.
- Display queries results with the help of Gnuplot plotting engine.
benchDBI is a bunch of programs that confirms a benchmark specifically created for evaluating DBI frameworks. Currently, it has been used for evaluating Pin, Valgrind and DynamoRIO in a GNU/Linux 64-bit environment.
CSM2PN is a translator that converts CSM models into Generalized Stochastic Petri Nets.
DAM Profile is an Eclipse-Papyrus project to annotate UML models with dependability properties.
The ITPN-PerfBound is a tool for the modeling and analysis of Interval Time Petri Nets (ITPN), that is Petri Nets in which firing time intervals, and possibly firing frequency intervals, are associated to transitions.
Log2cloud is a tool for prediction of cost-performance trade-offs in cloud deployments
PeabraiN tool is a collection of PIPE (Platform Independent Petri net Editor) modules for computing bounds, resource optimisation, and more bizarre properties on the Petri nets (PNs). Namely, the features supported by PeabraiN are the following:
SOftware quaLities and Adaptability Relationships