The Reachability Problem for Petri Nets is Not Primitive Recursive - Archive ouverte HAL Access content directly
Conference Papers Year : 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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

Cite

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
8 View
5 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More