@INPROCEEDINGS{CCVP00,
  author = "D. de Frutos and V. Valero and O. Marroqu'in",
  title = "Decidability of Properties of Timed-Arc Petri Nets ",
  booktitle = "Proceedings of 21st Int. Conference on Application and Theory of Petri Nets LNCS no. 1825",
  pages = "187--206",
  editor =  {Ten H. Lai},
  year=2000,
  month= June,
  address={Aarhus, Denmark},
}