Pierre Bouvier

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 7

Top Topics

Benchmark Suite

Concurrent Systems

Top Venues

Trans. Petri Nets Other Model. Concurr.

Publications

Pierre Bouvier, Hubert Garavel
Identifying Duplicates in Large Collections of Petri Nets and Nested-Unit Petri Nets. Petri Nets (2024)
Nicolas Amat, Pierre Bouvier, Hubert Garavel
A Toolchain to Compute Concurrent Places of Petri Nets. Trans. Petri Nets Other Model. Concurr. 17 (2023)
Pierre Bouvier, Hubert Garavel
Efficient Algorithms for Three Reachability Problems in Safe Petri Nets. Petri Nets (2021)
Pierre Bouvier
The VLSAT-3 Benchmark Suite. CoRR (2021)
Pierre Bouvier, Hubert Garavel
The VLSAT-2 Benchmark Suite. CoRR (2021)
Pierre Bouvier, Hubert Garavel, Hernán Ponce de León
Automatic Decomposition of Petri Nets into Automata Networks - A Synthetic Account. Petri Nets (2020)
Pierre Bouvier, Hubert Garavel
The VLSAT-1 Benchmark Suite. CoRR (2020)