Pierre Bouvier

According to our database, Pierre Bouvier authored at least 9 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Identifying Duplicates in Large Collections of Petri Nets and Nested-Unit Petri Nets.

Pierre Bouvier, Hubert Garavel

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024

2023

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

Pierre Bouvier

PhD thesis, 2023

A Toolchain to Compute Concurrent Places of Petri Nets.

Nicolas Amat, Pierre Bouvier, Hubert Garavel

Trans. Petri Nets Other Model. Concurr., 2023

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, Jirí Srba, Yann Thierry-Mieg, Karsten Wolf

Proceedings of the TOOLympics Challenge 2023, 2023

2021

The VLSAT-3 Benchmark Suite.

Pierre Bouvier

CoRR, 2021

The VLSAT-2 Benchmark Suite.

Pierre Bouvier, Hubert Garavel

CoRR, 2021

Efficient Algorithms for Three Reachability Problems in Safe Petri Nets.

Pierre Bouvier, Hubert Garavel

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

2020

The VLSAT-1 Benchmark Suite.

Pierre Bouvier, Hubert Garavel

CoRR, 2020

Automatic Decomposition of Petri Nets into Automata Networks - A Synthetic Account.

Pierre Bouvier, Hubert Garavel, Hernán Ponce de León

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020