Collisions avoidance and deadlocks prevention, for dynamic routing of trains in a railway node. - Paul Cazenave; Manel Khlif-Bouassida; Armand Toguyéni (CoDIT, 2019)

Synthèse de contrôleurs pour des classes de réseau de Petri à contrôlabilité et observabilité partielles: application au contrôle automatisé des trains. (Synthesis of controllers for Petri net classes with partial controllability and observability: application to automated train control). - Paul Cazenave (2020)