Representation of Time Petri Nets using Interval Weighted Automata. - Bérangère Daviaud; Sébastien Lahaye; Mehdi Lhommeau; Jan Komenda (CoDIT, 2023)

On the Existence of Simulations for Max-Plus Automata. - Bérangère Daviaud; Sébastien Lahaye; Mehdi Lhommeau; Jan Komenda (IEEE Control. Syst. Lett., 2024)