Cluster Grid based Response-time analysis module for the PIPE Tool

Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an open source software project that allows creation, analysis and simulation of Petri Nets. This tool paper presents a PIPE module for response-time analysis of a Petri net’s underlying Continuous Time Markov Chain (CTMC). Jobs are submitted via a web interface, from within PIPE or from a browser. The parallel computations are run using Grid Engine on a cluster hosted at Imperial College London.

• Type: Conference
• Year: 2007
• Where: QEST
• Authors: Harini Kulatunga, Ashok Argent-Katwala, William J. Knottenbelt
• Keywords: Petri Net, Platform Independent Petri Net Editor, QEST 2007, Quantitative Evaluation Of Systems, Stochastic Petri Nets