Rémi Parrot

9
Documents

Publications

Publications

Image document

Méthode active pour l'identification de réseaux de Petri saufs

Manon Le Moigne , Rémi Parrot , Olivier Henri Roux
Modélisation des Systèmes Réactifs (MSR'25), Nov 2025, Reims, France
Communication dans un congrès hal-05454467 v1
Image document

Expressiveness and analysis of Delayable Timed Petri Net

Rémi Parrot , Hanifa Boucheneb , Mikaël Briday , Olivier H Roux
16th IFAC Workshop on Discrete Event Systems WODES 2022, IFAC, Sep 2022, Prague, Czech Republic. pp.284-290, ⟨10.1016/j.ifacol.2022.10.355⟩
Communication dans un congrès hal-03952599 v1
Image document

Pipeline Optimization using a Cost Extension of Timed Petri Nets

Rémi Parrot , Mikaël Briday , Olivier H Roux
2021 IEEE 28th Symposium on Computer Arithmetic (ARITH), Jun 2021, Lyngby, Denmark. pp.37-44, ⟨10.1109/ARITH51176.2021.00018⟩
Communication dans un congrès hal-03464317 v1
Image document

Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design

Rémi Parrot , Mikaël Briday , Olivier H Roux
42nd International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2021, Paris, France. pp.55-75, ⟨10.1007/978-3-030-76983-3_4⟩
Communication dans un congrès hal-03266806 v1
Image document

Réseaux de Petri temporisés pour la conception et vérification de circuits pipelinés

Rémi Parrot , Mikaël Briday , Olivier H Roux
Modélisation des Systèmes Réactifs (MSR'21), Nov 2021, Paris, France
Communication dans un congrès hal-03587736 v1
Image document

Backward Symbolic Optimal Reachability in Weighted Timed Automata

Rémi Parrot , Didier Lime
18th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2020), Sep 2020, Vienna, Austria. pp.41-57, ⟨10.1007/978-3-030-57628-8_3⟩
Communication dans un congrès hal-02939596 v1
Image document

Weakly strong semantics of Time Petri Nets for performance evaluations

Jan Komenda , Sébastien Lahaye , Rémi Parrot , Olivier H. Roux
IFAC-PapersOnLine, 58 (1), pp.66-71, 2024, 17th IFAC Workshop on discrete Event Systems WODES 2024, ⟨10.1016/j.ifacol.2024.07.012⟩
N°spécial de revue/special issue hal-05108125 v1
Image document

Réseaux de Petri temporisés pour la synthèse de circuits pipelinés

Rémi Parrot
Réseaux et télécommunications [cs.NI]. École centrale de Nantes, 2022. Français. ⟨NNT : 2022ECDN0048⟩
Thèse tel-03974996 v1