@ARTICLE{Fabre98a,
  author = {Fabre, E. and Aghasaryan, A. and Benveniste, A. and Boubour, R. and
	Jard, C.},
  title = {Fault detection and diagnosis in distributed systems : an approach
	by partially stochastic Petri nets},
  journal = {Journal of Discrete Events Dynamic Systems},
  year = {1998},
  volume = {8},
  pages = {203--231}
}