Performance Queries on Semi-Markov Stochastic Petri Nets with an Extended Continuous Stochastic Logic
Petri Nets and Performance Models, IEEE International Workshop on (2003)
Sept. 2, 2003 to Sept. 5, 2003
Jeremy T. Bradley , Imperial College London
Nicholas J. Dingle , Imperial College London
Peter G. Harrison , Imperial College London
William J. Knottenbelt , Imperial College London
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 an SM-SPN model of a distributed voting system with up to 10<sup>7</sup> states.
W. J. Knottenbelt, P. G. Harrison, N. J. Dingle and J. T. Bradley, "Performance Queries on Semi-Markov Stochastic Petri Nets with an Extended Continuous Stochastic Logic," Petri Nets and Performance Models, IEEE International Workshop on(PNPM), Urbana, Illinois, 2003, pp. 62.