Sorry for my English-speaking visitors, these pages are for my French students and so are written in French.

QCM

• accéder aux corrections des QCM

Travaux pratiques de programmation

• remettre ses travaux sur la plate-forme badass

Modélisation formelle à base d’algèbres de réseaux de Petri

• le support rédigé (HDR)
• les diapos du cours
• les exemples ABCD du cours
• présentations complémentaires:
  • SNAKES: a flexible high-level Petri nets library
  • Optimising the compilation of Petri net models
  • Faster Simulation of (Coloured) Petri Nets Using Parallel Computing
  • Formal modelling and analysis of ecosystems
  • Modelling and analysing ecosystems using discrete formal methods
• le sujet d’examen de 2019, celui de 2018, celui de 2021, et celui de 2022