Conference Papers
Year : 2024
Hubert Garavel : Connect in order to contact the contributor
https://inria.hal.science/hal-04776402
Submitted on : Monday, November 11, 2024-1:49:45 PM
Last modification on : Monday, December 9, 2024-3:26:50 AM
Dates and versions
Licence
Identifiers
- HAL Id : hal-04776402 , version 1
Cite
Pierre Bouvier, Hubert Garavel. Identifying Duplicates in Large Collections of Petri Nets and Nested-Unit Petri Nets. PETRI NETS 2024 - 45th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2024, Genève, Switzerland. pp.379-401. ⟨hal-04776402⟩
17
View
0
Download