@PHDTHESIS{Teval93,
  author = "V. Valero",
  title = "Decibilidad de Problemas sobre redes de Petri temporizadas.",
  school = "Universidad Complutense de Madrid",
  year = "1993",
}