Modèle probabiliste de systèmes distribués et concurrents. Théorèmes limite et application à l'estimation statistique de paramètres

Président du jury : J.-P. Banâtre ; Rapporteurs : G. Winskel, J. Mairesse ;Examinateurs : A. Benveniste, J.-P. Katoen, V. Kaimanovitch, S. HaarFor distributed monitoring of large networked systems(e.g., telecommunication networks and service networks)it is useful to study concurrency models under the trace semantics,to avoid the state explosion problem. We propose a probabilisticextension of event structures and safe Petri nets (Markov nets).A Strong Markov Property is shown for the model of Markov nets, with applications to recurrence theory for nets. We show the Strong Law of Large Numbers for concurrent systems with enough synchronisation properties, with application to statisticalestimation of local parameters.Pour la gestion de grands systèmes distribués (réseaux detélécommunications par exemple) il est utile d'étudier desmodèles de concurrence sous la sémantique de traces. Danscette optique, on propose une extension probabiliste desstructures d'événements et des réseaux de Petri 1-bornés(réseaux markoviens).On prouve un propriété de Markov forte pour ces modèles,et on donne des applications à la récurrence des réseaux.On montre une Loi forte des grands nombres pourles réseaux récurrents et suffisement synchrones,avec applications a l'estimation statistique deparamètres locaux