@Inproceedings{EPTCS107.3,
  author    = {Abdulla, Parosh Aziz and Mayr, Richard},
  year      = {2013},
  title     = {Petri Nets with Time and Cost},
  editor    = {Atig, Mohamed Faouzi and Rezine, Ahmed},
  booktitle = {{\rm Proceedings 14th International Workshop on}
                Verification of Infinite-State Systems ,
               {\rm Paris, France, 27th August 2012}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {107},
  publisher = {Open Publishing Association},
  pages     = {9-24},
  doi       = {10.4204/EPTCS.107.3},
}