** .:[ PeabraiN ]:. ** # DESCRIPTION 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). # REQUIREMENTS - JRE 1.6 (or higher) - JAMA 1.0.2 library (Java Matrix Package, see http://math.nist.gov/javanumerics/jama/) - JavaILP 1.2a (Java Interface to ILP Solvers library, see http://javailp.sourceforge.net/) - SSJ 2.4 (Stochastic Simulation in Java, see http://www.iro.umontreal.ca/~simardr/ssj/indexe.html) Currently, PeabraiN just works with GLPK LP solver, so you need: - GLPK-Java 1.0.19 (see http://glpk-java.sourceforge.net/) - GLPK JNI 4.8 (see http://bjoern.dapnet.de/glpk/) - GLPK solver (see http://www.gnu.org/software/glpk) # VERSION HISTORY Version 1.0 (January, 2012) Alpha release Version 1.1 (December, 2014) Alpha release -- fixed bugs, and improved functionalities # LICENSE 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 <http://www.gnu.org/licenses/>. # AUTHORY 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, http://www.ricardojrodriguez.es.