For the most recent entries see the Petri Nets Newsletter.

Performance Queries on Semi-Markov Stochastic Petri Nets with an Extended Continuous Stochastic Logic.

Bradley, Jeremy T.; Dingle, Nicholas J.; Harrison, Peter G.; Knottenbelt, William J.

In: 10th International Workshop on Petri Nets and Performance Models (PNPM 2003), Urbana, Illinois, USA, pages 62-71. IEEE Press, September 2003.

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 to the power of 7 states.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography