Identifying Duplicates in Large Collections of Petri Nets and Nested-Unit Petri Nets - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2024

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

No file

Dates and versions

hal-04776402 , version 1 (11-11-2024)

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

Share

More