TY  - RPRT
TI  - Undecidability of performance equivalence of Petri nets
AU  - Slawomir Lasota
AU  - Marcin Poturalski
PY  - 2015
UR  - https://arxiv.org/abs/0910.5819
ID  - 0910.5819
ER  -