Modélisation des Systèmes Réactifs (MSR'25)

9:00 - 9:30 (30min)

Accueil - café

9:30 - 11:00 (1h30)

Modélisation des systèmes réactifs

› Modélisation du transport de fret multimodal par Réseau de Petri de Haut Niveau, pour la résilience des ports maritimes Européens - Armand Toguyeni, Guilherme Espindola Winck, Benoit Trouillet 09:30-10:00 (30min)

› Évaluation de stratégies de régénération dans un modèle de vente de services : une approche par réseaux de Petri à coût - Didier Lime, Pascale Marange, Rémi Parrot, Olivier Roux 10:00-10:30 (30min)

› Towards an efficient conversion of Petri nets into Higher Dimensional Automata - Philipp Schlehuber-Caissier, Timothée Fragnaud, Amazigh Amrane, Hugo Bazille 10:30-11:00 (30min)

11:00 - 11:30 (30min)

Pause café

11:30 - 12:30 (1h)

Plénière 3 - Dimitri Lefebvre

12:30 - 13:30 (1h)

Déjeuner

13:30 - 15:30 (2h)

Posters & démonstrations

https://msr2025.sciencesconf.org/data/program/PostersDemos.pdf