The Reachability Problem for Petri Nets is Not Primitive Recursive - CNRS - Centre national de la recherche scientifique
Communication Dans Un Congrès Année : 2021

The Reachability Problem for Petri Nets is Not Primitive Recursive

Fichier principal
Vignette du fichier
2104.12695.pdf (266.33 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03863832 , version 1 (23-11-2022)

Identifiants

Citer

Jérôme Leroux. The Reachability Problem for Petri Nets is Not Primitive Recursive. 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS), Feb 2022, Denver, France. pp.1241-1252, ⟨10.1109/FOCS52979.2021.00121⟩. ⟨hal-03863832⟩

Collections

CNRS ANR
18 Consultations
43 Téléchargements

Altmetric

Partager

More