AESOP home


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
August, 2003
IEEE Computer Society Press

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.

PDF of full publication (288.9 kilobytes)
(need help viewing PDF files?)
GZipped Postscript of full publication (238.3 kilobytes)
(need help viewing GZipped Postscript files?)

Information from