Ce projet vise à explorer et implémenter les réseaux de Petri, un outil mathématique utilisé pour modéliser et analyser des systèmes concurrents ou parallèles. Il permet de représenter visuellement et formellement des processus complexes, facilitant ainsi leur compréhension et leur optimisation.