Abstract: In this talk, we present a new tool for Petri nets, PeabraiN, which allows to perform different computations on Petri nets, such as:

Based on upper throughput bounds computation, PeabraiN implements an strategy for computing more accurate upper throughput bounds than previous methods in the literature.

PeabraiN enables to compute distribution of resources over a PN such that system throughput is maximised for a given budget.

PeabraiN incorporates a module for simulating Generalised Stochastic Petri nets, based on an exact stochastic simulation algorithm).

PeabraiN is a collection of modules implemented in the PIPE (Platform Independent Petri net Editor) tool. The PIPE tool is a PNML-compliant tool (the recently accepted as standard format for PN definition files) which enables its functionality extension through modules.

Several use cases from dissimilar application domains will be presented to motivate the benefits of PeabraiN modules. For further reading, please refer to http://webdiis.unizar.es/GISED/?q=tool/peabrain