Automatic Decomposition of Petri Nets into Automata Networks - A Synthetic Account. - Pierre Bouvier; Hubert Garavel; Hernán Ponce de León (Petri Nets, 2020)

The VLSAT-1 Benchmark Suite. - Pierre Bouvier; Hubert Garavel (CoRR, 2020)

Efficient Algorithms for Three Reachability Problems in Safe Petri Nets. - Pierre Bouvier; Hubert Garavel (Petri Nets, 2021)

The VLSAT-2 Benchmark Suite. - Pierre Bouvier; Hubert Garavel (CoRR, 2021)

The VLSAT-3 Benchmark Suite. - Pierre Bouvier (CoRR, 2021)

Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023. - Nicolas Amat; Elvio G. Amparore; Bernard Berthomieu; Pierre Bouvier; Silvano Dal-Zilio; Francis Hulin-Hubard; Peter Gjøl Jensen; Loïg Jezequel; Fabrice Kordon; Shuo Li; Emmanuel Paviot-Adet; Laure Petrucci; et al. (TOOLympics@ETAPS, 2023)

A Toolchain to Compute Concurrent Places of Petri Nets. - Nicolas Amat; Pierre Bouvier; Hubert Garavel (Trans. Petri Nets Other Model. Concurr., 2023)

Systèmes concurrents hiérarchiques : équivalence, analyse et structuration. (Hierarchical concurrent systems : equivalence, analysis and structuring). - Pierre Bouvier (2023)

Identifying Duplicates in Large Collections of Petri Nets and Nested-Unit Petri Nets. - Pierre Bouvier; Hubert Garavel (Petri Nets, 2024)