@InProceedings{BJS:ICFEM:09,
  author =       "J. Byg and K.Y. Joergensen and J. Srba",
  title =        "An Efficient Translation of Timed-Arc {P}etri
                  Nets to Networks of Timed Automata",
  booktitle =    "Proceedings of the 11th International Conference on
                  Formal Engineering Methods ({ICFEM}'09)",
  year =         "2009",
  series =       "LNCS",
  volume =       "",
  publisher =    "Springer-Verlag",
  pages =        "",
  note =         "To appear."
}