@Unpublished{     akshay:hal-01088997,
  Author        = {Akshay, S and Genest, Blaise and H{\'e}lou{\"e}t, Lo{\"\i}c},
  date-added    = "2015-04-22 11:48:12 +0000",
  date-modified = "2015-04-22 11:48:12 +0000",
  hal_id        = "hal-01088997",
  hal_version   = "v1",
  Keywords      = "Petri nets",
  Month         = "November",
  PDF           = "https://hal.inria.fr/hal-01088997/file/AGH15.pdf",
  Title         = "{Timed Petri Nets with (restricted) Urgency}",
  URL           = "https://hal.inria.fr/hal-01088997",
  Year          = "2014",
  bdsk-url-1    = "https://hal.inria.fr/hal-01088997",
  File          = "Timed Petri Nets with (restricted) Urgency - Akshay, Genest, Hélouët (0) (0) - a - a - r.pdf"
}

@Unpublished{ akshay:hal-01088997, Author = {Akshay, S and Genest, Blaise and H{\'e}lou{\"e}t, Lo{\"\i}c}, date-added = "2015-04-22 11:48:12 +0000", date-modified = "2015-04-22 11:48:12 +0000", hal_id = "hal-01088997", hal_version = "v1", Keywords = "Petri nets", Month = "November", PDF = "https://hal.inria.fr/hal-01088997/file/AGH15.pdf", Title = "{Timed Petri Nets with (restricted) Urgency}", URL = "https://hal.inria.fr/hal-01088997", Year = "2014", bdsk-url-1 = "https://hal.inria.fr/hal-01088997", File = "Timed Petri Nets with (restricted) Urgency - Akshay, Genest, Hélouët (0) (0) - a - a - r.pdf" }