@InProceedings{   AkshayGenestHelouet,
  Author        = "Akshay, S. and Genest, B. and Helouet, L.",
  date-added    = "2015-11-23 15:30:30 +0000",
  date-modified = "2015-11-23 15:31:07 +0000",
  Keywords      = "timed Petri nets",
  Title         = "Timed-Arc Petri Nets with (restricted) Urgency",
  Year          = "2016",
  File          = "Timed-Arc Petri Nets with (restricted) Urgency - Akshay, Genest, Helouet (0) (0) - a - a - i.pdf"
}

@InProceedings{ AkshayGenestHelouet, Author = "Akshay, S. and Genest, B. and Helouet, L.", date-added = "2015-11-23 15:30:30 +0000", date-modified = "2015-11-23 15:31:07 +0000", Keywords = "timed Petri nets", Title = "Timed-Arc Petri Nets with (restricted) Urgency", Year = "2016", File = "Timed-Arc Petri Nets with (restricted) Urgency - Akshay, Genest, Helouet (0) (0) - a - a - i.pdf" }