@Article{         MayrAbdulla:arxiv:2013,
  Author        = "Mayr, Richard M. and Abdulla, Parosh Aziz",
  date-added    = "2014-04-15 05:22:45 +0000",
  date-modified = "2018-03-12 18:11:48 +0000",
  EPrint        = "1307.2570",
  Journal       = "Logical Methods in Computer Science",
  Month         = "07",
  Title         = "Priced Timed Petri Nets",
  URL           = "http://arxiv.org/abs/1307.2570",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1307.2570",
  File          = "Priced Timed Petri Nets - Mayr, Abdulla (0) (0) - a - a - e.pdf"
}

@Article{ MayrAbdulla:arxiv:2013, Author = "Mayr, Richard M. and Abdulla, Parosh Aziz", date-added = "2014-04-15 05:22:45 +0000", date-modified = "2018-03-12 18:11:48 +0000", EPrint = "1307.2570", Journal = "Logical Methods in Computer Science", Month = "07", Title = "Priced Timed Petri Nets", URL = "http://arxiv.org/abs/1307.2570", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1307.2570", File = "Priced Timed Petri Nets - Mayr, Abdulla (0) (0) - a - a - e.pdf" }