CSL Model Checking for Generalized Stochastic Petri Nets

@article{Cerotti2006CSLMC,
  title={CSL Model Checking for Generalized Stochastic Petri Nets},
  author={Davide Cerotti and Susanna Donatelli and Andr{\'a}s Horv{\'a}th and Jeremy Sproston},
  journal={Third International Conference on the Quantitative Evaluation of Systems - (QEST'06)},
  year={2006},
  pages={199-210}
}
This paper presents a continuous stochastic logic (CSL) model-checking algorithm for generalized stochastic Petri nets (GSPNs). CSL is a temporal logic defined over continuous time Markov chains (CTMCs). GSPNs are a class of stochastic Petri nets in which Sojourn times in states are either exponentially distributed (tangible states) or deterministically… CONTINUE READING