** .:[ PeabraiN ]:. **

A collection of PIPE modules for computing bounds, resource optimisation, and more bizarre properties on Petri nets :)

This project has been developed with Eclipse Indigo (Build id: 20110916-0149). If you want to compile it by yourself, you may need some external JARs in order to run it. See REQUIREMENTS for more details.

Download PeabraiN.deployment.tar.gz if you want PeabraiN modules integrated with PIPE, or PeabraiN.deployment.standalone.tar.gz if you just want  PeabraiN modules instead.

See also
Rodríguez, R.J., Júlvez, Jorge and Merseguer, José
'PeabraiN: A PIPE Extension for Performance Estimation and Resource Optimisation' in 
Proceedings of the 12th International Conference on Application of Concurrency to System Designs (ACSD),
conference type B ranked (CORE 2009, category Distributed Computing).

- JRE 1.6 (or higher)
- JAMA 1.0.2 library (Java Matrix Package, see
- JavaILP 1.2a (Java Interface to ILP Solvers library, see
- SSJ 2.4 (Stochastic Simulation in Java, see

Currently, PeabraiN just works with GLPK LP solver, so you need:

- GLPK-Java 1.0.19 (see
- GLPK JNI 4.8 (see
- GLPK solver (see


Version 1.0 (January, 2012)
Alpha release

Version 1.1 (December, 2014)
Alpha release -- fixed bugs, and improved functionalities

This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or any later version.

This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with this program. If not, see <>.

This program has been developed by Ricardo J. Rodríguez, researcher at University of Zaragoza, Spain. You can look forward more information about him or his work on his own webpage,