Fri, 27/04/2012 - 11:30 - 12:30
Title: PeabraiN: a PIPE extension for Performance Estimation, Resource Optimisation and Simulation Analysis
Speaker: Ricardo J. Rodríguez
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
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
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.
Seminario del DIIS
Calle María de Luna 1