A State Class Based Controller Synthesis Approach for Time Petri Nets. - Loriane Leclercq; Didier Lime; Olivier H. Roux (Petri Nets, 2023)

QLTL Model-Checking. - François Laroussinie; Loriane Leclercq; Arnaud Sangnier (CSL, 2024)

On Parametric DBMs and Their Applications to Time Petri Nets. - Loriane Leclercq; Didier Lime; Olivier H. Roux (QEST+FORMATS, 2024)