AESOP home

Publications

PIPE2: A Tool for the Performance Evaluation of Generalised Stochastic Petri Nets

Nicholas J. Dingle, William J. Knottenbelt, Tamas Suto

Journal Special Issue Article
Special Issue on Tools for Computer Performance Modelling and Reliability Analysis
ACM SIGMETRICS Performance Evaluation Review
Volume 36
Issue 4
pp.34–39
March, 2009
ACM Press
Abstract

This paper presents an overview of Platform-Independent Petri Net Editor 2 (PIPE2 ), an open-source tool that supports the design and analysis of Generalised Stochastic Petri Net (GSPN) models. PIPE2 's extensible design enables developers to add functionality via pluggable analysis modules. It also acts as a front-end for a parallel and distributed performance evaluation environment. With PIPE2, users are able to design and evaluate performance queries expressed in the Performance Tree formalism.

PDF of full publication (570.2 kilobytes)
(need help viewing PDF files?)
Postscript of full publication (2.8 megabytes)
(need help viewing Postscript files?)

Information from pubs.doc.ic.ac.uk/pipe2-per.