Diagnosis using unfoldings of parametric time Petri nets

Abstract : This paper considers the model of Time Petri Nets (TPNs) extended with time parameters and its use to perform on-line diagnosis of distributed systems. We propose to base the method on unfoldings. Given a partial observation, as a possibly structured set of actions, our method determines the causal relation between events in the model that explain the observation. It can also synthesize parametric constraints associated with these explanations. The method is implemented in the tool Romeo. We present its application to the diagnosis of the example of a cowshed with pigs.
Document type :
Conference papers
Liste complète des métadonnées

Contributor : Didier Lime <>
Submitted on : Tuesday, October 5, 2010 - 5:39:06 PM
Last modification on : Wednesday, December 19, 2018 - 3:02:03 PM


  • HAL Id : hal-00523597, version 1


Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier Henri Roux. Diagnosis using unfoldings of parametric time Petri nets. 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2010), Sep 2010, Vienna, Austria. pp.137-151. ⟨hal-00523597⟩



Record views