TY  - RPRT
TI  - Decision Problems for Petri Nets with Names
AU  - Fernando Rosa-Velardo
AU  - David de Frutos-Escrig
PY  - 2010
UR  - https://arxiv.org/abs/1011.3964
ID  - 1011.3964
ER  -