HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

Time Supervision of Concurrent Systems using Symbolic Unfoldings of Time Petri Nets

Thomas Chatain 1 Claude Jard 1
1 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g. alarm) observations. We follow a so-called true concurrency approach using time Petri nets: the model defines explicitly the causality and concurrency relations between the observable events, produced by the system under supervision on different points of observation, and constrained by time aspects. The problem is to compute on-the-fly the different partial order histories, which are the possible explanations of the observable events. We do not impose that time is observable: the aim of supervision is to infer the partial ordering of the events and their possible firing dates. This is achieved by considering a model of the system under supervision, given as a time Petri net, and the on-the-fly construction of an unfolding, guided by the observations. Using a symbolic representation, this paper presents a new definition of the unfolding of time Petri nets with dense time.
Document type :
Complete list of metadata

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Friday, May 19, 2006 - 8:00:43 PM
Last modification on : Friday, February 4, 2022 - 3:22:07 AM
Long-term archiving on: : Sunday, April 4, 2010 - 8:54:20 PM


  • HAL Id : inria-00070310, version 1


Thomas Chatain, Claude Jard. Time Supervision of Concurrent Systems using Symbolic Unfoldings of Time Petri Nets. [Research Report] RR-5706, INRIA. 2005, pp.19. ⟨inria-00070310⟩



Record views


Files downloads