Rémi Parrot

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

Publications

Publications

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

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

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

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

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

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