Author:
Homm Daniel,German Reinhard
Publisher
Springer International Publishing
Reference19 articles.
1. Bradley, J.T., Dingle, N.J., Harrison, P.G., Knottenbelt, W.J.: Distributed computation of transient state distributions and passage time quantiles in large semi-Markov models. Future Gener. Comput. Syst. 22(7), 828–837 (2006)
2. Bradley, J., Dingle, N., Harrison, P., Knottenbelt, W.: Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logic. In: Proceedings of the 10th International Workshop on Petri Nets and Performance Models (PNPM 2003), Urbana, IL, USA, pp. 62–71 (2003)
3. Bucci, G., Carnevali, L., Ridi, L., Vicario, E.: Oris: a tool for modeling, verification and evaluation of real-time systems. Int. J. Softw. Tools Technol. Transf. 12(5), 391–403 (2010)
4. Buchholz, P., Telek, M.: Rational automata networks: a non-Markovian modeling approach. INFORMS J. Comput. 25(1), 87–101 (2013)
5. Ciardo, G., Blakemore, A., Chimento, P.F., Muppala, J.K., Trivedi, K.S.: Automated generation and analysis of Markov reward models using stochastic reward nets. In: Linear Algebra, Markov Chains, and Queueing Models. The IMA Volumes in Mathematics and its Applications, vol. 48, pp. 145–191. Springer, New York (1993)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献