Enviar por SMS: Diagnostic temporel dans les systèmes répartis à l'aide des dépliages des réseaux de Petri