Exploiting Partial Symmetries for Markov Chain Aggregation

Autor: Capra, L., Dutheillet, C., Franceschinis, G., Ilié, J-M.

Publikováno v: In Electronic Notes in Theoretical Computer Science 2000 39(3):231-257

Extended SWN Solvers in GreatSPN

Autor: Jean-Michel Ilié, Baarir, S., Beccuti, M., Delamare, C., Donatelli, S., Dutheillet, C., Franceschinis, G., Gaeta, R., Moreaux, P.

Publikováno v: 1st International Conference on Quantitative Evaluation of Systems (QEST '04)
1st International Conference on Quantitative Evaluation of Systems (QEST '04), 2004, Enschede, Netherlands. pp.324-325, ⟨10.1109/QEST.2004.1348049⟩
Scopus-Elsevier
ResearcherID

International audience; Well-formed nets and their stochastic timed extension, take advantage of symmetries to allow efficient solution techniques for both qualitative and quantitative properties. During the last decade, these techniques have been en

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a625dd3cca6cc3a7b11b1eea99d1cd14
https://hal.archives-ouvertes.fr/hal-01496161

On the use of exact lumpability in partially symmetrical well-formed nets.

Autor: Baarir, S., Dutheillet, C., Haddad, S., Ilie, J.M.

Publikováno v: Second International Conference on the Quantitative Evaluation of Systems (QEST'05); 2005, p23-32, 10p

Conflict sets in colored Petri nets.

Autor: Dutheillet, C., Haddad, S.

Publikováno v: Proceedings of 5th International Workshop on Petri Nets & Performance Models; 1993, p76-85, 10p

Stochastic well-formed colored nets and symmetric modeling applications.

Autor: Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.

Publikováno v: IEEE Transactions on Computers; 1993, Vol. 42 Issue 11, p1343-1360, 18p