A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logic
10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings.
Semi-Markov Stochastic Petri Nets (SM-SPNs) are a highlevel 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 ½¼ states.
doi:10.1109/pnpm.2003.1231543
dblp:conf/pnpm/BradleyDHK03
fatcat:rkgclrw6svdhbkvlch3zh5ydc4