Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) Edinburgh, Scotland, UK September 17-September 19 ISBN: 0-7695-2883-X
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QEST.2007.42
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.
Citation:
Harini Kulatunga, Ashok Argent-Katwala, William Knottenbelt, "Cluster Grid based Response-time analysis module for the PIPE Tool," qest, pp.51-52, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), 2007 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||