Exploiting partial symmetries for Markov chain aggregation

Electronic Notes in Theoretical Computer Science

Volumn 39, Issue 3, 2000, Pages 231-257

  Capra, L ^a   Dutheillet, C ^b   Franceschinis, G ^c   Ilie, J M ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

^c UNIVERSITY OF EASTERN PIEDMONT   (Italy)

Author keywords

Extended Symbolic Reachability Graph; High level Petri Nets; Lumpable Markov Chains; Symmetries

Indexed keywords

ALGORITHMS; MATHEMATICAL MODELS; PERFORMANCE; PETRI NETS; PROBLEM SOLVING; SET THEORY;

EXTENDED SYMBOLIC REACHABILITY GRAPH (ESRG); HIGH-LEVEL PETRI NETS; LUMPABLE MARKOV CHAINS; SYMMETRIES;

MARKOV PROCESSES;

EID: 2942587701     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80750-9     Document Type: Conference Paper

References (10)

1. Buchholz P. Exact and ordinary lumpability infinite Markov chains. Journal of Appl. Prob. 31:1994;59-75
2. Capra L., Dutheillet C., Franceschinis G., Ilie J.M. Towards Performance Analysis with Partially Symmetrical SWN. In Proc. 7th International Symposium on Modeling, Analysis and Simulation, College Park, MD, USA. October 1999
3. Chiola G., Dutheillet C., Franceschinis G., Haddad S. Stochastic well-formed coloured nets for symmetric modelling applications. IEEE Transactions on Computers. 42/11:1993;1343-1360
4. Chiola G., Dutheillet C., Franceschinis G., Haddad S. A Symbolic Reachability Graph for Coloured Petri Nets. Theoretical Computer Science B (Logic, semantics and theory of programming). 176:(n. 1&2):1997;39-65
5. Chiola G., Franceschinis G., Gaeta R., Ribaudo M. GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. Performance Evaluation, special issue on Performance Model ing Tools. 24/l&2:1995;47-68
6. Emerson E.A., Trefler R.J. From Asymmetry to Full Symmetry: New Techniques For Symmetry Reduction in Model Checking. In Proc of CHARME'99. Sept. 1999;142-156 Bad Herrenalb, Germany
7. Haddad S., Ilie J-M., Ajami K. A Model Checking Method for Partially Symmetric Systems. In Proc. of of FORTE XIII, Pisa, Italy. October 2000
8. Haddad S., Ilie J-M., Taghelit M., Zouari B. Symbolic marking graph and partial symmetries. In Proc. of 16th Int. Conference on Application and Theory of Petri Nets, ICATPN '95, Torino, Italy. June 1995;238-257
9. Hermanns H. "Interactive Markov Chains" 1999;PhD Thesis, Erlangen-Nurnberg Friedrich-Alexander University
10. Paige P., Tarjan R. Three Partition Refinement Algorithms. SIAM Journal of Computing. 16/6:1987;973-989