AESOP home

Publications

PIPE v2.5: A Petri Net Tool for Performance Modelling

Pere Bonet, Catalina Lladó, Ramon Puigjaner, William J. Knottenbelt

National Workshop Paper
23rd Latin American Conference on Informatics (CLEI 2007)
September, 2007
Abstract

The Petri net modeling formalism allows for the convenient graphical visualization of system models, as well as the analysis of correctness and performance properties. Petri Nets theory has been widely used to implement a variety of modeling and evaluation tools. This paper surveys various of these tools and describes some recent extensions to a freely available and open-source platform-independent Petri net tool called PIPE. The extensions comprise: an increase in modeling power through the introduction of inhibitor arcs, a new analysis module for generating siphons and traps, some new interface features and various presentation improvements. We will illustrate system modeling and analysis with inhibitor arcs in a case study of a token ring network.

PDF of full publication (326.8 kilobytes)
(need help viewing PDF files?)

Information from pubs.doc.ic.ac.uk/pipe-clei.