Efficient lumpability check in partially symmetric systems

Authors:
M. Beccuti;G. Franceschinis;S. Baarir;J-M. Ilie
Affiliations:
Univ. del Piemonte Orientale Alessandria, Italy;Univ. del Piemonte OrientaleAlessandria, Italy;LIP6, Univ. Pierre et Marie Curie, France;LIP6, Univ. Pierre et Marie Curie, France
Venue:
QEST '06 Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems
Year:
2006

Citing 0
Cited 4

The GreatSPN tool: recent enhancements

ACM SIGMETRICS Performance Evaluation Review
From partially to fully lumped Markov chains in stochastic well formed Petri nets

Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
Lumping partially symmetrical stochastic models

Performance Evaluation
Computing first passage time distributions in stochastic well-formed nets

Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

This talk will provide an overview of work that I have done with Hana Chockler, Orna Kupferman, and Judea Pearl [1, 2, 10, 9] on defining notions such as causality, explanation, responsibility, and blame. I first review the Halpern-Pearl definition of ...