Abstract FR:

On propose un modèle probabiliste pour la dynamique de modèles de concurrence à événements discrets. On étudie les structures d'événements et les réseaux de Petri sans contact sous leur sémantique de trace, et on étend certaines propriétés des chaînes de Markov à une classe de réseaux probabilistes. On montre la compacité du bord à l'infini des structures d'événements localement finies, d'où on déduit un théorème d'extension de mesures de probabilité. On construit les probabilités distribuées, pour lesquelles le parallélisme de processus locaux se traduit par une indépendence en probabilité. On applique ces résulats aux réseaux en utilisant la théorie du dépliage des réseaux de Petri, pour montrer des propriétés de récurrence et la Loi forte des grands nombres pour les réseaux. On s'intéresse à la calculabilité des nouveaux éléments introduits et on applique ces résultats à un problème d'estimation statistique.