Spécification formelle des systèmes complexes par l’utilisation des réseaux de Petri colorés basés sur Python
No Thumbnail Available
Date
2024
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Ce mémoire est consacré à la spécification formelle des systèmes complexes en
utilisant les réseaux de Pétri colorés basés sur Python. Cela implique la spécification
du comportement, des états et des transitions du système en utilisant le formalisme
des réseaux de Pétri colorés (CPN) et en les implémentant en Python.
En utilisant les réseaux de Pétri colorés, qui constituent un moyen formel de
représenter visuellement la façon dont les choses circulent et interagissent, ainsi que
Python, un langage de programmation, nous nous sommes capables de créer un
modèle clair et structuré du fonctionnement des systèmes complexes. Cela nous aide
à comprendre et à prévoir leur comportement, ce qui les rend plus fiables et plus
faciles à gérer.