Menee conjointement par Mines Nantes et ECN, cette recherche explore les réseaux de Petri pour modéliser des systèmes complexes.
L'Essentiel : Menee conjointement par Mines Nantes et ECN, cette recherche explore les réseaux de Petri pour modéliser des systèmes complexes.
Maurice Comlan, chercheur·e au sein de IRCCyN; LETIA (Mines Nantes).
Thèse soutenue en 2016 à l'école doctorale EDSTIM; LETIA.
Cette recherche s'inscrit dans le cadre d'une cotutelle franco-béninoise, garantissant un ancrage simultané sur le terrain local et dans les standards académiques internationaux.
Contexte et Problématique
Les réseaux de Petri sont un formalisme bien établi pour la modélisation des systèmes à événements discrets, en particulier dans les domaines de l'automatisation et de la vérification. La nécessité de vérification et de validation dans ces systèmes est impérative, car des erreurs mineures peuvent avoir des conséquences graves. Pour analyser le comportement d'un système, la construction d'un graphe d'états, qui énumère de manière exhaustive les états accessibles, est souvent requise. Toutefois, cette construction fait face à un problème d'explosion combinatoire, résultant de la complexité et de la concurrence inhérentes aux systèmes modélisés. Ce phénomène complique l'analyse, rendant difficile la garantie de la fiabilité des systèmes.
Le dépliage est une technique qui s'avère prometteuse pour atténuer ce problème en se concentrant sur les ordres partiels entre les événements. Cette méthode permet de simplifier l'analyse tout en maintenant la vérifiabilité des systèmes. En particulier, le dépliage est adapté aux réseaux de Petri avec des arcs de reset, où la complexité est accrue. L'étude de cette technique constitue un axe central de la thèse de Maurice Comlan, qui vise à contribuer à l'analyse des processus de branchement dérivant du dépliage des réseaux de Petri.
Méthodologie
La recherche s'appuie sur une approche théorique associée à des techniques de modélisation. L'étude commence par une analyse approfondie des réseaux de Petri et de leurs extensions. Les propriétés des systèmes à événements discrets sont étudiées, en mettant l'accent sur la manière dont le dépliage peut être appliqué pour gérer l'explosion combinatoire. La méthodologie inclut également le développement d'une algèbre spécifique pour les processus de branchement issus du dépliage, permettant d'explorer les implications de cette approche sur la vérification et la validation des systèmes.
Des expériences et des simulations ont été menées pour évaluer l'efficacité de la méthode de dépliage. Ces tests ont permis d'explorer divers scénarios d'application dans des systèmes complexes, en observant comment la technique de dépliage peut réduire le nombre d'états dans le graphe d'états tout en préservant des propriétés essentielles telles que la vivacité et l'absence de blocage. Cette démarche a permis de valider les hypothèses formulées et d'affiner les outils d'analyse disponibles.
Résultats Principaux
Les résultats de cette recherche révèlent plusieurs avancées significatives dans le domaine des réseaux de Petri. Premièrement, la thèse identifie des méthodes efficaces pour réduire l'explosion combinatoire lors de la construction de graphes d'états. En appliquant le dépliage, il est possible de conserver uniquement les ordres partiels entre les événements, ce qui diminue considérablement le nombre d'états à analyser.
Deuxièmement, le développement d'une algèbre spécifique pour les processus de branchement issus du dépliage apporte une nouvelle dimension à l'analyse des systèmes. Cette algèbre permet de formaliser les relations entre les différentes exécutions possibles, offrant ainsi une meilleure compréhension des processus de branchement par rapport aux processus classiques. Les résultats expérimentaux montrent que cette approche améliore la vérifiabilité des systèmes, tout en garantissant leur conformité aux exigences de sécurité et de fiabilité.
Enfin, la thèse met en évidence l'importance de la collaboration internationale dans la recherche sur les réseaux de Petri. La cotutelle franco-africaine a permis d'enrichir les perspectives et de renforcer les outils développés, ce qui pourrait avoir des implications significatives pour la modélisation et l'analyse des systèmes complexes dans divers secteurs industriels.
Discussion et Perspectives
L'approche du dépliage des réseaux de Petri, telle que développée dans cette thèse, ouvre de nouvelles voies pour la recherche future. En simplifiant l'analyse des systèmes à événements discrets, cette méthode pourrait être étendue à d'autres types de systèmes complexes, permettant une meilleure gestion de la complexité et une amélioration de la fiabilité. Les implications des résultats obtenus vont au-delà de la simple modélisation théorique ; ils offrent des outils pratiques pour les secteurs où la sécurité est primordiale.
L'intégration de cette méthode dans des systèmes existants pourrait également faciliter la transition vers des solutions plus robustes et adaptatives. Des recherches supplémentaires pourraient explorer l'application du dépliage dans des contextes variés, tels que l'Internet des objets ou les systèmes embarqués. De plus, le développement de logiciels basés sur l'algèbre des processus de branchement pourrait se révéler bénéfique pour les ingénieurs et les décideurs, en leur fournissant des outils efficaces pour la vérification et la validation.
La poursuite de cette recherche, dans le cadre de collaborations internationales, pourrait enrichir encore davantage le domaine des réseaux de Petri et apporter des solutions novatrices aux défis rencontrés dans l'analyse des systèmes complexes.
Accéder à l'étude complète
Sources et accès
Maurice Comlan. Contribution au dépliage des réseaux de Petri et à l'analyse des processus de branchement.. Informatique [cs]. Université de Nantes; Université d'Abomey-Calavi, 2016. Français. ⟨NNT : ⟩. ⟨tel-01542989⟩