|
[1]
|
Rémi Parrot, Hanifa Boucheneb, Mikaël Briday, and Olivier H. Roux.
Expressiveness and analysis of Delayable Timed Petri Net.
In 16th International Workshop on Discrete Event Systems
(WODES'22), Prague, Czechia, September 2022. IFAC.
[ bib |
doi |
pdf ]
|
|
[2]
|
Rémi Parrot, Mikaël Briday, and Olivier H. Roux.
Timed Petri Nets with Reset for Pipelined Synchronous Circuit
Design.
In The 42th International Conference on Application and Theory
of Petri Nets and Concurrency (Petri Nets 2021), volume 12734 of
Lecture Notes in Computer Science. Springer, June 2021.
[ bib |
doi |
pdf ]
|
|
[3]
|
Rémi Parrot, Mikaël Briday, and Olivier H. Roux.
Pipeline Optimization using a Cost Extension of Timed Petri Nets.
In The 28th IEEE International Symposium on Computer Arithmetic
(ARITH 2021). IEEE, June 2021.
[ bib |
doi |
pdf ]
|
|
[4]
|
Rémi Parrot and Didier Lime.
Backward symbolic optimal reachability in weighted timed automata.
In Nathalie Bertrand and Nils Jansen, editors, 18th
International Conference on Formal Modeling and Analysis of Timed Systems
(FORMATS 2020), Lecture Notes in Computer Science, pages 41--57, Vienna,
Austria, September 2020. Springer.
[ bib |
doi |
pdf ]
|