The Reachability Problem for Petri Nets is Not Primitive Recursive

Jérôme Leroux

doi:10.1109/FOCS52979.2021.00121

Communication Dans Un Congrès Année : 2021

The Reachability Problem for Petri Nets is Not Primitive Recursive

(1)

1

Jérôme Leroux

Fonction : Auteur
PersonId : 1216
IdHAL : jerome-leroux
IdRef : 079082742

Laboratoire Bordelais de Recherche en Informatique

CV

Domaines

Informatique [cs]

Fichier principal

2104.12695.pdf (266.33 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

Jérôme Leroux : Connectez-vous pour contacter le contributeur

https://cnrs.hal.science/hal-03863832

Soumis le : mercredi 23 novembre 2022-14:22:01

Dernière modification le : vendredi 24 mars 2023-14:53:29

Archivage à long terme le : vendredi 24 février 2023-19:15:31

Dates et versions

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

Identifiants

HAL Id : hal-03863832 , version 1
ARXIV : 2104.12695
DOI : 10.1109/FOCS52979.2021.00121

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS ANR

12 Consultations

31 Téléchargements

The Reachability Problem for Petri Nets is Not Primitive Recursive

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager