PIPE2: a tool for the performance evaluation of generalised stochastic Petri Nets

Authors:
Nicholas J. Dingle;William J. Knottenbelt;Tamas Suto
Affiliations:
Imperial College London, London, United Kingdom;Imperial College London, London, United Kingdom;Imperial College London, London, United Kingdom
Venue:
ACM SIGMETRICS Performance Evaluation Review
Year:
2009

Citing 8
Cited 6

A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems

ACM Transactions on Computer Systems (TOCS)
Performance Trees: A New Approach to Quantitative Performance Specification

MASCOTS '06 Proceedings of the 14th IEEE International Symposium on Modeling, Analysis, and Simulation
Performance Trees: Expressiveness and Quantitative Semantics

QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
An Experimental Framework for PIPE2

QEST '08 Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems
Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets

Electronic Notes in Theoretical Computer Science (ENTCS)
Woflan 2.0: a Petri-net-based workflow diagnosis tool

ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
A hybrid approach to modeling biological systems

WMC'07 Proceedings of the 8th international conference on Membrane computing
EXHOST-PIPE: PIPE extended for two classes of monitoring Petri nets

ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency

A framework for building mobile single and multi-robot applications

Robotics and Autonomous Systems
Deriving coloured generalised stochastic petri net performance models from high-precision location tracking data

Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering
PEPERCORN: inferring performance models from location tracking data

QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
Hemojuvelin-hepcidin axis modeled and analyzed using Petri nets

Journal of Biomedical Informatics
Understanding, modelling, and improving the performance of web applications in multicore virtualised environments

Proceedings of the 5th ACM/SPEC international conference on Performance engineering
Behavioral modeling and formal verification of a resource discovery approach in Grid computing

Expert Systems with Applications: An International Journal

Quantified Score

Hi-index	0.00

Visualization

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.