PeabraiN: A PIPE Extension for Performance Estimation and Resource Optimisation

PeabraiN logo 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 features supported by PeabraiN are the following:

  • Performance Estimation
  • Resource Optimisation
  • Structural Enabling
  • Structural Marking
  • Visit Ratio Computation
  • SPN Simulation Analysis

Read more of PeabraiN tool and get source code and binaries from here.

Installation tips (tested on September 2016)

  • Get PeabraiN deployment software package
  • Install lp-solve, libglpk-dev and glpk-utils (retrieved via apt-get in Debian-based distros)
  • Download GLPK for Java software package. For compiling, you will need swig installed (retrieved via apt-get in Debian-based distros) and define $JAVA_HOME pointing to where your JDK/JRE is located in the system (e.g., “export JAVA_HOME=/opt/jdk1.8.0_101”). Then, typical “configure”, “make”, and “make install” commands. This will install JNI for GLPK in /usr/local/lib/jni (default folder). After that, copy the also generated file “swig/glpk-java.jar” to PeabraiN.deployment/bin/lib folder (replace the existing one!).
  • Modify “” of PeabraiN.deployment folder such that JNIDIR variable is set properly (e.g., “JNIDIR=/usr/local/lib/jni”).
  • Execute “”, and enjoy the tool!
Comments are closed.