loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
10th International Workshop on Petri Nets and Performance Models (PNPM '03)
Performance Queries on Semi-Markov Stochastic Petri Nets with an Extended Continuous Stochastic Logic
Urbana, Illinois
September 02-September 05
ISBN: 0-7695-1976-8
ASCII Text
x 
 
Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt, "Performance Queries on Semi-Markov Stochastic Petri Nets with an Extended Continuous Stochastic Logic," Petri Nets and Performance Models, IEEE International Workshop on, pp. 62, 10th International Workshop on Petri Nets and Performance Models (PNPM '03), 2003.
 
 
BibTex
x
 
@article{ 10.1109/PNPM.2003.1231543,
author = {Jeremy T. Bradley and Nicholas J. Dingle and Peter G. Harrison and William J. Knottenbelt},
title = {Performance Queries on Semi-Markov Stochastic Petri Nets with an Extended Continuous Stochastic Logic},
journal ={Petri Nets and Performance Models, IEEE International Workshop on},
volume = {0},
year = {2003},
issn = {1063-6714},
pages = {62},
doi = {http://doi.ieeecomputersociety.org/10.1109/PNPM.2003.1231543},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Petri Nets and Performance Models, IEEE International Workshop on
TI - Performance Queries on Semi-Markov Stochastic Petri Nets with an Extended Continuous Stochastic Logic
SN - 1063-6714
SP
EP
A1 - Jeremy T. Bradley,
A1 - Nicholas J. Dingle,
A1 - Peter G. Harrison,
A1 - William J. Knottenbelt,
PY - 2003
KW - null
VL - 0
JA - Petri Nets and Performance Models, IEEE International Workshop on
ER -
 
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 107 states.
Citation:
Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt, "Performance Queries on Semi-Markov Stochastic Petri Nets with an Extended Continuous Stochastic Logic," pnpm, pp.62, 10th International Workshop on Petri Nets and Performance Models (PNPM '03), 2003
Usage of this product signifies your acceptance of the Terms of Use.