Résumé de la diagnosticabilité des motifs dans un réseau de Petri temporisé
Éric Lubat, Silvano Dal Zilio · HAL (Le Centre pour la Communication Scientifique Directe) · 2020
MOVEP is a five-day summer school on modelling and verification of parallel processes. It aims to bring together researchers, students, and people from industry working in the fields of control and verification of concurrent and reactive systems. MOVEP seeks to offer a broad spectrum of current research in this area, addressing theoretical and applied aspects of model checking, controller synthesis, software verification, temporal logics, real-time and hybrid systems, stochastic systems, security, run-time verification, etc.