@article{BVC05,
  author = "A. Bueno and V. Valero and F. Cuartero",
  title = "A Translation of TPAL_p into a class of Timed-Probabilistic Petri Nets",
  journal = "Theoretical Computer Science",
  pages={350-392},
  number = {338},
  year={2005}
}