Ce projet vise à implémenter des réseaux de Petri temporisés sur des cartes Arduino pour modéliser et analyser des systèmes embarqués en temps réel. Il permet de simuler des comportements complexes et de valider des architectures logicielles ou matérielles avant leur déploiement.