TY  - RPRT
TI  - A general translation from nested Petri nets into PROMELA
AU  - Mirtha Lina Fernández Venero
AU  - Flávio Soares Corrêa da Silva
PY  - 2014
UR  - https://arxiv.org/abs/1403.7991
ID  - 1403.7991
ER  -