Maurice Comlan dévoile une méthode innovante pour améliorer la fiabilité des systèmes à événements discrets grâce aux réseaux de Petri

La thèse de Maurice Comlan, soutenue à Mines Nantes, propose une méthode novatrice de dépliage pour gérer l'explosion combinatoire dans les systèmes à événements discrets, améliorant ainsi leur fiabilité. Réalisée en 2016, cette recherche a été menée en cotutelle avec l'Université d'Abomey-Calavi au Bénin, et vise à réduire les erreurs critiques dans des systèmes automatisés.

Les réseaux de Petri sont des outils théoriques appliqués à des systèmes à événements discrets, essentiels pour l'automatisation et la vérification. La recherche de Maurice Comlan aborde la vérification et la validation de ces systèmes, confrontés à des problèmes d'explosion combinatoire, où une simple erreur peut avoir des conséquences désastreuses. La construction d'un graphe d'états est cruciale pour analyser le comportement des systèmes.

Comlan propose le dépliage, une technique qui simplifie l'analyse des systèmes tout en préservant leur vérifiabilité. En se concentrant sur les ordres partiels entre les événements, cette méthode permet de réduire la complexité, notamment pour les systèmes avec des arcs de reset. Bien que les résultats chiffrés ne soient pas disponibles, l'identification de méthodes pour atténuer l'explosion combinatoire représente une avancée significative.

Les implications de cette recherche sont stratégiques pour les décideurs, car l'application des réseaux de Petri peut améliorer la fiabilité des systèmes à événements discrets, réduisant ainsi les coûts liés aux erreurs. Les entreprises doivent adopter ces méthodes pour renforcer la sécurité de leurs systèmes, tout en tenant compte des défis d'implémentation et de résistance au changement.

« « Le dépliage permet de gérer l'explosion combinatoire tout en garantissant la vérifiabilité des systèmes à événements discrets », souligne Maurice Comlan. »

« « L'accès à des méthodes innovantes comme celles proposées par Maurice Comlan est essentiel pour les décideurs souhaitant améliorer la fiabilité des systèmes critiques », affirme l'équipe Lektaris. »