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.
CSM2PN is a translator that converts CSM models into Generalized Stochastic Petri Nets.
DAM Profile is a plug-in for the Papyrus tool to annotate UML designs 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