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

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.

[1]  William J. Knottenbelt,et al.  Generalised Markovian analysis of timed transition systems , 1996 .

[2]  Jeremy T. Bradley,et al.  Performance Trees: Expressiveness and Quantitative Semantics , 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).

[3]  Ekkart Kindler,et al.  The Petri Net Markup Language , 2003, Petri Net Technology for Communication-Based Systems.

[4]  Marian Gheorghe,et al.  A Hybrid Approach to Modeling Biological Systems , 2007, Workshop on Membrane Computing.

[5]  Jan Rosell Gratacòs,et al.  A performance analysis tool of discrete-events systems , 2007 .

[6]  Jeremy T. Bradley,et al.  Performance Trees: Expressiveness and Quantitative Semantics , 2007 .

[7]  Farhad Arbab,et al.  Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets , 2006, FOCLASA.

[8]  Charles Lesire,et al.  Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets , 2006, ICATPN.

[9]  Nicholas J. Dingle,et al.  Automated Customer-Centric Performance Analysis of Generalised Stochastic Petri Nets Using Tagged Tokens , 2009, Electron. Notes Theor. Comput. Sci..

[10]  Wil M. P. van der Aalst,et al.  Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool , 2000, ICATPN.

[11]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[12]  Nicholas J. Dingle,et al.  Performance Trees: Implementation And Distributed Evaluation , 2008 .

[13]  Connie U. Smith,et al.  An Experimental Framework for PIPE2 , 2008, 2008 Fifth International Conference on Quantitative Evaluation of Systems.

[14]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[15]  Marian Gheorghe,et al.  A Hybrid Approach to Modelling Biological Systems , 2007 .

[16]  Jeremy T. Bradley,et al.  Performance Trees: A New Approach to Quantitative Performance Specification , 2006, 14th IEEE International Symposium on Modeling, Analysis, and Simulation.