Skip to Main content Skip to Navigation
New interface
Conference papers

The Reachability Problem for Petri Nets is Not Primitive Recursive

Document type :
Conference papers
Complete list of metadata

https://hal-cnrs.archives-ouvertes.fr/hal-03863832
Contributor : Jérôme Leroux Connect in order to contact the contributor
Submitted on : Wednesday, November 23, 2022 - 2:22:01 PM
Last modification on : Friday, December 2, 2022 - 3:53:06 AM

File

2104.12695.pdf
Files produced by the author(s)

Identifiers

Collections

CNRS | ANR

Citation

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⟩

Share

Metrics

Record views

0

Files downloads

0