@misc{indiciae114b78d6eb01,
  title = {A general translation from nested Petri nets into PROMELA},
  author = {Mirtha Lina Fernández Venero and Flávio Soares Corrêa da Silva},
  year = {2014},
  url = {https://arxiv.org/abs/1403.7991},
  note = {Source identifier: 1403.7991}
}