Diagnosis Using Unfoldings of Parametric Time Petri Nets

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.

• Type: Journal
• Year: 2010
• Where: FORMATS
• Authors: Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux
• Keywords: Formal Methods, FORMATS 2010, Parametric Constraints, Partial Observation, Time Petri Nets