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

Abstract

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.