@Unpublished{     leroux:hal-02156549,
  Author        = "Leroux, J{\'e}r{\^o}me",
  date-added    = "2019-06-27 23:22:14 +0200",
  date-modified = "2019-06-27 23:22:14 +0200",
  hal_id        = "hal-02156549",
  hal_version   = "v1",
  Month         = "June",
  Note          = "working paper or preprint",
  PDF           = "https://hal.archives-ouvertes.fr/hal-02156549/file/main.pdf",
  Title         = "{Distance Between Mutually Reachable Petri Net Configurations}",
  URL           = "https://hal.archives-ouvertes.fr/hal-02156549",
  Year          = "2019",
  bdsk-url-1    = "https://hal.archives-ouvertes.fr/hal-02156549",
  File          = "main (1) - a - a - o.pdf"
}

@Unpublished{ leroux:hal-02156549, Author = "Leroux, J{\'e}r{\^o}me", date-added = "2019-06-27 23:22:14 +0200", date-modified = "2019-06-27 23:22:14 +0200", hal_id = "hal-02156549", hal_version = "v1", Month = "June", Note = "working paper or preprint", PDF = "https://hal.archives-ouvertes.fr/hal-02156549/file/main.pdf", Title = "{Distance Between Mutually Reachable Petri Net Configurations}", URL = "https://hal.archives-ouvertes.fr/hal-02156549", Year = "2019", bdsk-url-1 = "https://hal.archives-ouvertes.fr/hal-02156549", File = "main (1) - a - a - o.pdf" }