mardi 18 novembre 2025
| Heures | événement | |
| 19:00 - 21:00 | Soirée de dissémination du projet EcoFertis - Soirée d'accueil - Innovative processing of manures and biowastes of Eco-friendly Fertilizers. Innovact, 28 Rue Thiers, 51100 Reims À la veille de la conférence MSR, rejoignez-nous pour une soirée d’échanges autour du projet EcoFertis, dédié à l’innovation durable et à l’optimisation des fertilisants écologiques. |
|
mercredi 19 novembre 2025
| Heures | événement | |
| 09:00 - 09:30 | Accueil - Café | |
| 09:30 - 10:00 | Ouverture - Janan Zaytoon, Alexandre Philippot et Leonardo Brenner |
|
| 10:00 - 12:00 | Modélisation des systèmes réactifs | |
| 10:00 - 10:30 | › Comment choisir son outil d'analyse de systèmes à événements discrets ? - Pascal Andre, Aurélien Pageot, Orlann Cailleau, Charbel Bedran |
|
| 10:30 - 11:00 | › De la modélisation par intension du problème de commande logique à la génération de code ST (IEC 61131-3) - Mathieu Roisin, Dimitri Renard, David Annebicque, Pierre-Alain Yvars, Bernard Riera |
|
| 11:00 - 11:30 | › Spécification de la synchronisation des jumeaux numériques à l'aide d'automates temporisés et stochastiques - Pascale Marange, William Derigent |
|
| 11:30 - 12:00 | › Filtre logique et Théorie du Contrôle Supervisé - Dimitri Renard, David Annebicque, Ramla Saddem, Bernard Riera |
|
| 12:00 - 13:30 | Déjeuner | |
| 13:30 - 14:30 | Plénière 1 - Kamel Barkaoui | |
| 14:30 - 16:00 | Modélisation des systèmes réactifs | |
| 14:30 - 15:00 | › Estimation d'état pour les réseaux de Petri synchronisés temporisés labellisés - Mouna Gaouar, Rabah Ammour, Isabel Demongodin, Dimitri LEFEBVRE |
|
| 15:00 - 15:30 | › Méthode active pour l'identification de réseaux de Petri saufs - Manon Le Moigne, Rémi Parrot, Olivier Roux |
|
| 15:30 - 16:00 | › Pronostic en ligne des fautes des Systèmes Industriels modélisés par Réseaux de Petri Etiquetés - Armand Toguyeni, Braian Igreja de Freitas, João Carlos Dos Santos Basílio |
|
| 16:00 - 16:30 | Pause café | |
| 16:30 - 17:30 | Plénière 2 - Euriell Le Corronc |
jeudi 20 novembre 2025
| Heures | événement | |
| 09:00 - 09:30 | Accueil - café | |
| 09:30 - 11:00 | Modélisation des systèmes réactifs | |
| 09:30 - 10:00 | › 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 |
|
| 10:00 - 10:30 | › É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:30 - 11:00 | › Towards an efficient conversion of Petri nets into Higher Dimensional Automata - Philipp Schlehuber-Caissier, Timothée Fragnaud, Amazigh Amrane, Hugo Bazille |
|
| 11:00 - 11:30 | Pause café | |
| 11:30 - 12:30 | Plénière 3 - Dimitri Lefebvre | |
| 12:30 - 13:30 | Déjeuner | |
| 13:30 - 15:30 | Posters & démonstrations |
|
| 15:30 - 16:00 | Pause café | |
| 16:00 - 17:00 | Départ visite et gala - Départ visite et gala | |
| 17:00 - 18:30 | Visite - Visite | |
| 18:30 - 19:00 | Animation-Cocktail - Animation-Cocktail | |
| 19:00 - 23:30 | Repas de Gala |
vendredi 21 novembre 2025
| Heures | événement | |
| 08:30 - 09:00 | Accueil - Café | |
| 09:00 - 10:30 | Modélisation des systèmes réactifs | |
| 09:00 - 09:30 | › Looking For All Solutions of a Set of Max-Atoms Solves the Max Atom Problem in Strongly Polynomial Time - Laurent TRUFFET |
|
| 09:30 - 10:00 | › Application de la déquantification de Maslov pour l'étude des systèmes à évènements discrets - Guilherme Espindola-Winck, Laurent Hardouin, Mehdi Lhommeau, Benoit Trouillet |
|
| 10:00 - 10:30 | › Un DSL pour représenter et analyser des systèmes à événements discrets - Pascal Andre, Hugo LOCTEAU, Yasmina DALI YOUCEF, Erwan BOUSSE, Olivier CARDIN |
|
| 10:30 - 11:00 | Mathworks : Modélisation et commande des systèmes complexes multidomaines avec MATLAB/Simulink | |
| 11:00 - 12:00 | Plénière 4 - Cristian Mahuela | |
| 12:00 - 12:30 | Clôture | |
| 12:30 - 13:30 | Déjeuner |
