PeabraiN
A PIPE Extension for Performance Estimation and Resource Optimisation
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. Namely, the feature supported by PeabraiN are, namely:
Performance Estimation, Resource Optimisation, Structural Enabling, Structural Marking, Visit Ratio Computation, and SPN Simulation Analysis.
For more details, see the project website at
http://webdiis.unizar.es/GISED/?q=tool/peabrain