TY  - RPRT
TI  - The Reachability Problem for Petri Nets is Not Elementary
AU  - Wojciech Czerwinski
AU  - Slawomir Lasota
AU  - Ranko Lazic
AU  - Jerome Leroux
AU  - Filip Mazowiecki
PY  - 2019
UR  - https://arxiv.org/abs/1809.07115
ID  - 1809.07115
ER  -