A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Cluster Grid based Response-time analysis module for the PIPE Tool
2007
Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)
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
doi:10.1109/qest.2007.42
dblp:conf/qest/KulatungaAK07
fatcat:qzntey2z2zbuba6ujpvzbwcckq