Lumping partially symmetrical stochastic models

Performance Evaluation

Volumn 68, Issue 1, 2010, Pages 21-44

  Baarir, S ^a   Beccuti, M ^b   Dutheillet, C ^a   Franceschinis, G ^c   Haddad, S ^d  

^a UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

^b UNIVERSITY OF TURIN   (Italy)

^c UNIVERSITY OF EASTERN PIEDMONT   (Italy)

^d CNRS   (France)

Author keywords

Lumpability; Markov chains; Stochastic Petri nets; Symmetries

Indexed keywords

COMBINATORIAL EXPLOSION; COMPLEX SYSTEMS; DEPENDABILITY EVALUATION; EFFICIENT IMPLEMENTATION; LUMPABILITY; MARKOV CHAIN; STATE SPACE; STOCHASTIC PETRI NETS; SYMMETRICAL MODELS; SYMMETRIES;

GRAPH THEORY; MARKOV PROCESSES; PETRI NETS; STOCHASTIC SYSTEMS;

STOCHASTIC MODELS;

EID: 78649635935     PISSN: 01665316     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.peva.2010.09.002     Document Type: Article

References (25)

1. P. Huber, A.M. Jensen, L.O. Jepsen, K. Jensen, Towards reachability trees for high level Petri nets, in: Proc. of EWATPN, Aarhus, Denmark, 1984.
2. C. Norris, and D.L. Dill Better verification through symmetry Formal Methods in System Design 9 12 1996 41 75
3. E. Emerson, and A. Prasad Sistla Symmetry and model checking Formal Methods in System Design 9 1996 307 309
4. A. Benoit, L. Brenner, P. Fernandes, and B. Plateau Aggregation of stochastic automata networks with replicas Linear Algebra and its Applications 386 2004 111 136
5. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad Stochastic well-formed coloured nets for symmetric modelling applications IEEE Transactions on Computers 42 11 1993 1343 1360
6. W. Sanders, and J.J.F. Meyer Reduced base model construction methods for stochastic activity networks IEEE Journal on Selected Areas in Communications 9 1 1991 25 36
7. W. Obal II, and W. Sanders Measure-adaptive statespace construction Performance Evaluation 44 14 2001 237 258
8. S. Baarir, S. Haddad, and J.-M. Ili Exploiting partial symmetries in well-formed nets for the reachability and the linear time model checking problems Proc. of WODES'04 2004 Springer Verlag Reims, France
9. E.A. Emerson, and R.J. Trefler From asymmetry to full symmetry: new techniques for symmetry reduction in model checking Proc. of CHARME'99 LNCS 1999 Springer Verlag Bad Herrenalb, Germany 142 156
10. S. Haddad, J. Ili, and K. Ajami A model checking method for partially symmetric systems Proceedings of FORTE/PSTV'00 2000 Kluwer Academic Publishers Pisa, Italy 121 136
11. S. Haddad, J. Ili, M. Taghelit, and B. Zouari Symbolic reachability graph and partial symmetries Proc. of the 16th ICATPN LNCS vol. 935 1995 Springer Verlag Turin, Italy 238 257
12. S. Baarir, C. Dutheillet, S. Haddad, and J.-M. Ili On the use of exact lumpability in partially symmetrical well-formed nets Proc. of 2nd Int. Conf. on the Quantitative Evaluation of Systems 2005 IEEE C.S. Press Torino, Italy 23 32
13. M. Beccuti, S. Baarir, G. Franceschinis, and J.-M. Ili Efficient lumpability check in partially symmetric systems 3rd Int. Conf. on Quantitative Evaluation of Systems 2006 IEEE Computer Society Riverside, CA, USA 211 221
14. S. Baarir, M. Beccuti, D. Cerotti, M.D. Pierro, S. Donatelli, and G. Franceschinis The GreatSPN tool: recent enhancements ACM Performance Evaluation Review 2009 Spec. Issue on Tools for Perf. Eval
15. A.S. Miner, G. Ciardo, and S. Donatelli Using the exact state space of a Markov model to compute approximate stationary measures Proc. of the 2000 ACM SIGMETRICS Int. Conf. on Measurement and Modeling of Computer Systems 2000 ACM Santa Clara, CA, USA 207 216
16. P. Bazan, and R. German Approximate analysis of stochastic models by self-correcting aggregation Proc. of 2nd Int. Conf. on the Quantitative Evaluation of Systems 2005 IEEE C.S. Torino, Italy 134 144
17. J. Kemeny, and J. Snell Finite Markov Chains 1960 D. Van Nostrand-Reinhold New York, NY
18. J. Ledoux, Weak lumpability of finite Markov chains and positive invariance of cones, Tech. Rep., IRISA, 1996.
19. P.J. Schweitzer, Aggregation methods for large Markov chains, in: Proc. of IWCPR, 1984, pp. 275286.
20. R. Paige, and R.E. Tarjan Three partition refinement algorithms SIAM Journal on Computing 16 6 1987 973 989
21. S. Derisavi, H. Hermanns, and W.H. Sanders Optimal state-space lumping in Markov chains Information Processing Letters 87 6 2003 309 315
22. A. Valmari, and G. Franceschinis Simple O (m log n ) time Markov chain lumping 16th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems LNCS vol. 6015 2010 Springer Paphos, Cyprus 38 52
23. B. Plateau, On the stochastic structure of parallelism and synchronization models for distributed algorithms, in: ACM Sigmetrics Conference on Measurement and Modelling of Computer Systems, Austin, Texas, 1985.
24. S. Baarir, M. Beccuti, C. Dutheillet, and G. Franceschinis From partially to fully lumped Markov chains in stochastic well formed Petri nets 4th Int. Conf. on Performance Methodologies and Tools 2009 ACM Digital Library Pisa, Italy
25. S. Baarir, M. Beccuti, C. Dutheillet, G. Franceschinis, S. Haddad, Performance analysis of partially symmetric SWNs: efficiency characterization through some case studies, Tech. Rep. TR-INF-2009-07-06-UNIPMN, Dipartimento di Informatica, Universit del Piemonte Orientale, 2009. http://www.di.unipmn.it/ Tecnical-R.