Computing Publications

Publications Home » Performance Queries on Semi-Marko...

Performance Queries on Semi-Markov Stochastic Petri Nets with an Extended Continuous Stochastic Logic

Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt

Conference or Workshop Paper
PNPM 2003, 10th International Workshop on Petri Nets and Performance Models, Urbana IL, USA
September, 2003
pp.62–71
IEEE Computer Society Press
Abstract

Semi-Markov Stochastic Petri Nets (SM-SPNs) are a high-level formalism for defining semi-Markov processes. We present an extended Continuous Stochastic Logic (eCSL) which provides an expressive way to articulate performance queries at the SM-SPN model level. eCSL supports queries involving steady-state, transient and passage time measures. We demonstrate this by formulating and answering eCSL queries on a model of a communication protocol and on an SM-SPN model of a distributed voting system with up to 10^7 states.

Keywords
AESOP
PDF of full publication (289 kilobytes)
(need help viewing PDF files?)
GZipped Postscript of full publication (238 kilobytes)
(need help viewing GZipped Postscript files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.