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

Python

• cours de L3 informatique

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, celui de 2022, et celui de 2023