Backward Symbolic Optimal Reachability in Weighted Timed Automata. - Rémi Parrot; Didier Lime (FORMATS, 2020)

Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design. - Rémi Parrot; Mikaël Briday; Olivier H. Roux (Petri Nets, 2021)

Pipeline Optimization using a Cost Extension of Timed Petri Nets. - Rémi Parrot; Mikaël Briday; Olivier H. Roux (ARITH, 2021)

Réseaux de Petri temporisés pour la synthèse de circuits pipelinés. (Timed Petri nets for the synthesis of pipelined circuits). - Rémi Parrot (2022)

Design and verification of pipelined circuits with Timed Petri Nets. - Rémi Parrot; Mikaël Briday; Olivier H. Roux (Discret. Event Dyn. Syst., 2023)

Decidability Problems for Weak Time Petri Nets with Read, Reset and Transfer Arcs. - Didier Lime; Rémi Parrot; Olivier H. Roux (Petri Nets, 2025)