On the use of exact lumpability in partially symmetrical Well-formed Nets

QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems

Volumn 2005, Issue , 2005, Pages 23-32

  Baarir, S ^a   Dutheillet, C ^a   Haddad, S ^b   Ilie J M ^a  

^a UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

^b UNIVERSITÉ PARIS DAUPHINE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER SIMULATION; MARKOV PROCESSES; MATHEMATICAL MODELS; PETRI NETS;

LUMPABILITY; QUALITATIVE ANALYSIS; QUOTIENT GRAPHS;

GRAPH THEORY;

EID: 33847325778     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2005.26     Document Type: Conference Paper

References (12)

1. 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. In Proc. of WODES'04 - IFAC Workshop on Discrete Event Systems, part of 7th CAAP, Reims - France, 2004. Springer Verlag.
2. C. Bellettini and L. Capra. A quotient graph for asymmetric distributed systems. 12th IEEE Int. Symp. on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), pages 560-568, october 2004.
3. L. Capra, C. Dutheillet, G. Franceschinis, and J.-M. Ilié. Exploiting partial symmetries for Markov chain aggregation. E. Notes in Theoretical Computer Science, 39(3), 2000.
4. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. Stochastic well-formed coloured nets for symmetric modelling applications. IEEE Transactions on Computers, 42(11):1343-1360, nov 1993.
5. E. Clarke, R. Enders, T. Filkorn, and S. Jha. Exploiting Symmetry in Temporal Logic Model Chacking. Formal Methods and System Design, 9:77-104, 1996.
6. E. A. Emerson and R. J. Trefler. From Asymmetry to Full Symmetry: New Techniques For Symmetry Reduction in Model Checking. In Proc of CHARME99, Lecture Notes in Computer Science, pages 142-156, Bad Herrenalb - Germany, Sept. 1999. Springer Verlag.
7. S. Haddad, J. Ilié, and K. Ajami. A model checking method for partially symmetric systems. In Proceedings of FORTE/PSTV'00, pages 121-136, Pisa. Italy, Oct. 2000. Kluwer Academic Publishers.
8. th Intern. Conference on Application and Theory of Petri Nets, volume 935 of LNCS, pages 238-257, Turin, Italy, June 1995. Springer Verlag.
9. J. Ilié, S. Baarir, M. Beccuti, S. Donatelli, C. Dutheillet. G. Franceschinis, R. Gaeta, and P. Moreaux. Extended SWN Solvers in GreatSPN. In Tool paper for the 1st Int. Conf. on Quantitative Evaluation of Systems (QEST'04), LNCS, Twente, Netherland, 2004. Springer Verlag.
10. J. Kemeny and J. Snell. Finite Markov chains. New York, NY, 1960. D. Van Nostrand-Reinhold.
11. G. Rubino and B. Sericola. On weak lumpability in Markov chains. Journal of Appl. Prob., 26:446-457, 1989.
12. P. J. Schweitzer. Aggregation methods for large Markov chains. In Proceedings of the International Workshop on Computer Performance and Reliability, pages 275-286. North-Holland, 1984.