TY  - RPRT
TI  - Universal Safety for Timed Petri Nets is PSPACE-complete
AU  - Parosh Aziz Abdulla
AU  - Mohamed Faouzi Atig
AU  - Radu Ciobanu
AU  - Richard Mayr
AU  - Patrick Totzke
PY  - 2018
UR  - https://arxiv.org/abs/1806.08170
ID  - 1806.08170
ER  -