Skip to Main content Skip to Navigation

Modèles composables et concurrents pour le temps-réel

Abstract : This thesis is concerned with the modelling of real-time systems using Petri nets. We investigate both the problem of time representation, and of preemption (i.e., interruption of the processes of a system) which is often needed for real-time applications.

We consider Petri nets without explicit temporal information. The key idea of our approach consists in introducing time through specific sub-nets representing clocks present in the system being modelled. This results in what we refer to as causal time since causality is the only means by which the precedence relationship between event occurrences is specified. For a succinct formulation of the causal time model, we use M-nets which are a class of coloured Petri nets endowed with compositional operators similar to those used by the standard process algebras. We extend the M-nets model in order to allow an efficient representation of asynchronous interprocess communication, and establish a number of theoretical results concerning such an extension. We use the resulting M-nets to model several clocks with varied characteristics, showing how they can be synchronised or kept independent. The suitability of the proposed approach is evaluated using a case study, and it is then used to give a semantics of the parallel programming language B(PN)² extended with real-time constructs.

In order to deal with preemption, we propose another extension of the M-nets model supporting operators for process suspension/resuming and abortion. The resulting model is investigated at the theoretical level, and applied to B(PN)² enhanced with exceptions and tasks.
Document type :
Complete list of metadata

Cited literature [113 references]  Display  Hide  Download
Contributor : Franck Pommereau Connect in order to contact the contributor
Submitted on : Friday, November 17, 2006 - 1:38:40 PM
Last modification on : Tuesday, October 19, 2021 - 4:06:39 PM
Long-term archiving on: : Tuesday, April 6, 2010 - 7:42:06 PM


  • HAL Id : tel-00114680, version 1



Franck Pommereau. Modèles composables et concurrents pour le temps-réel. Modélisation et simulation. Université Paris 12, 2002. Français. ⟨tel-00114680⟩



Record views


Files downloads