The Community for Technology Leaders
Petri Nets and Performance Models, IEEE International Workshop on (2003)
Urbana, Illinois
Sept. 2, 2003 to Sept. 5, 2003
ISSN: 1063-6714
ISBN: 0-7695-1976-8
pp: 62
William J. Knottenbelt , Imperial College London
Peter G. Harrison , Imperial College London
Nicholas J. Dingle , Imperial College London
Jeremy T. Bradley , Imperial College London
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 an SM-SPN model of a distributed voting system with up to 10<sup>7</sup> states.
INDEX TERMS
null
CITATION
William J. Knottenbelt, Peter G. Harrison, Nicholas J. Dingle, Jeremy 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, vol. 00, no. , pp. 62, 2003, doi:10.1109/PNPM.2003.1231543
82 ms
(Ver 3.3 (11022016))