Modélisation et évaluation du comportement des systèmes à événements discrets

Participants : Christophe Bouton, Feng Chu, Jean-Marie Proth,
Nathalie Sauer, Liming Wang, Xiaolan Xie

• Vérification incrémentale de l'absence de blocage dans les réseaux de Petri
• Systèmes à événements discrets stochastiques
• Etude des réseaux de Petri à sorties contrôlables (CO nets)