› 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)