Rémi Parrot Temporary Lecturer and Research Assistant at École Centrale de Nantes

Publications

Communication dans un congrès (7)

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-05454467v1
Decidability problems for weak Time Petri Nets with read, reset and transfer arcs Didier Lime,Rémi Parrot,Olivier H. Roux Petri Net 2025, Jun 2025, Paris, France. pp.333-353, ⟨10.1007/978-3-031-94634-9_16⟩ Communication dans un congrès hal-05513518v1
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-03952599v1
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-03464317v1
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-03266806v1
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-03587736v1
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-02939596v1

N°spécial de revue/special issue (1)

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-05108125v1

Article dans une revue (1)

Design and verification of pipelined circuits with Timed Petri Nets Rémi Parrot,Mikaël Briday,Olivier H Roux Discrete Event Dynamic Systems, 2023, 33, ⟨10.1007/s10626-022-00371-7⟩ Article dans une revue hal-03952519v1

Thèse (1)

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-03974996v1