Efficient modelling and generation of Markov automata

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7454 LNCS, Issue , 2012, Pages 364-379

  Timmer, Mark ^a   Katoen, Joost Pieter ^a,b   Van De Pol, Jaco ^a   Stoelinga, Mariëlle I A ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

^b RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

LINEARISATION; MARKOVIAN; MUTUAL EXCLUSION PROTOCOL; NON-DETERMINISM; PARALLEL COMPOSITION; POLLING SYSTEM; PROBABILISTIC AUTOMATA; REDUCTION TECHNIQUES; STATE SPACE; STATE-SPACE GENERATION;

ENCODING (SYMBOLS); SPECIFICATIONS;

AUTOMATA THEORY;

EID: 84866652998     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-32940-1_26     Document Type: Conference Paper

References (21)

1. Boudali, H., Crouzen, P., Stoelinga, M.I.A.: Dynamic fault tree analysis using Input/Output interactive Markov chains. In: DSN, pp. 708-717 (2007)
2. Bozzano, M., Cimatti, A., Katoen, J.P., Nguyen, V.Y., Noll, T., Roveri, M.: Safety, dependability and performance analysis of extended AADL models. The Computer Journal 54(5), 754-775 (2011)
3. Deng, Y., Hennessy, M.: On the Semantics of Markov Automata. In: Aceto, L., Henzinger, M., Sgall, J. (eds.) ICALP 2011, Part II. LNCS, vol. 6756, pp. 307-318. Springer, Heidelberg (2011)
4. Eisentraut, C., Hermanns, H., Zhang, L.: Concurrency and Composition in a Stochastic World. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 21-39. Springer, Heidelberg (2010)
5. Eisentraut, C., Hermanns, H., Zhang, L.: On probabilistic automata in continuous time. In: LICS, pp. 342-351 (2010)
6. Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol. 6605, pp. 372-387. Springer, Heidelberg (2011)
7. Groote, J.F., Ponse, A.: The syntax and semantics of μCRL. In: Algebra of Communicating Processes, Workshops in Computing, pp. 26-62 (1995)
8. Hermanns, H.: Interactive Markov Chains. LNCS, vol. 2428. Springer, Heidelberg (2002)
9. Hillston, J.: Process algebras for quantitative analysis. In: LICS, pp. 239-248 (2005)
10. Katoen, J.P., van de Pol, J., Stoelinga, M., Timmer, M.: A linear process-algebraic format with data for probabilistic automata. TCS 413(1), 36-57 (2012)
11. Latella, D., Massink, M., de Vink, E.P.: Bisimulation of labeled state-to-function transition systems of stochastic process languages. In: ACCAT (to appear, 2012)
12. Marsan, M.A., Conte, G., Balbo, G.: A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Transactions on Computer Systems 2(2), 93-122 (1984)
13. Pnueli, A., Zuck, L.D.: Verification of multiprocess probabilistic protocols. Distributed Computing 1(1), 53-72 (1986)
14. van de Pol, J., Timmer, M.: State Space Reduction of Linear Processes Using Control Flow Reconstruction. In: Liu, Z., Ravn, A.P. (eds.) ATVA 2009. LNCS, vol. 5799, pp. 54-68. Springer, Heidelberg (2009)
15. Priami, C.: Stochastic pi-calculus. The Computer Journal 38(7), 578-589 (1995)
16. Segala, R.: Modeling and Verification of Randomized Distributed Real-Time Systems. Ph.D. thesis, MIT (1995)
17. Srinivasan, M.M.: Nondeterministic polling systems. Management Science 37(6), 667-681 (1991)
18. Stoelinga, M.I.A.: An introduction to probabilistic automata. Bulletin of the EATCS 78, 176-198 (2002)
19. Timmer, M., Katoen, J.P., van de Pol, J., Stoelinga, M.I.A.: Efficient modelling and generation of Markov automata (extended version). Tech. Rep. TR-CTIT-12-16, CTIT, University of Twente (2012)
20. Timmer, M., Stoelinga, M., van de Pol, J.: Confluence Reduction for Probabilistic Systems. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol. 6605, pp. 311-325. Springer, Heidelberg (2011)
21. Timmer, M.: SCOOP: A tool for symbolic optimisations of probabilistic processes. In: QEST, pp. 149-150 (2011)