Rémi Parrot

Temporary Lecturer and Research Assistant at École Centrale de Nantes
10
Documents

Publications

Publications

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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