Diagnostic temporel dans les systèmes répartis à l'aide des dépliages des réseaux de Petri - Jard, C; Chatain, T; Bourhis, P (2005)