Spécification formelle des systèmes complexes par l’utilisation des réseaux de Petri colorés basés sur Python
| dc.contributor.author | Sekaoui Amir Dendouga Safa | |
| dc.date.accessioned | 2025-04-09T08:31:45Z | |
| dc.date.available | 2025-04-09T08:31:45Z | |
| dc.date.issued | 2024 | |
| dc.description.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. | |
| dc.identifier.uri | http://dspace.univ-khenchela.dz:4000/handle/123456789/8653 | |
| dc.language.iso | fr | |
| dc.title | Spécification formelle des systèmes complexes par l’utilisation des réseaux de Petri colorés basés sur Python | |
| dc.type | Thesis |