@INPROCEEDINGS{jjcc02,
   author = "Valentín Valero and J.J. Pardo and Fernando Cuartero",
   title =  "{Translating TPAL Specifications into Timed-Arc Petri Nets}",
   booktitle = "Proceedings of ICTAPN'2002",
   pages = "",
   publisher = "",
   year = "2002",
   month = "June",
   address =   "Adelaine, Australia",
   }