@Article{         Czerwinski:NonElementary:2018,
  Author        = "{Czerwinski}, W. and {Lasota}, S. and {Lazic}, R. and {Leroux}, J. and {Mazowiecki}, F.",
  adsnote       = "Provided by the SAO/NASA Astrophysics Data System",
  adsurl        = "http://adsabs.harvard.edu/abs/2018arXiv180907115C",
  ArchivePrefix = "arXiv",
  date-added    = "2018-09-20 20:23:08 +0000",
  date-modified = "2018-10-08 11:22:52 +0000",
  EPrint        = "1809.07115",
  Journal       = "ArXiv e-prints",
  Keywords      = "readme",
  Month         = "September",
  PrimaryClass  = "cs.FL",
  Title         = "{The Reachability Problem for Petri Nets is Not Elementary (Extended Abstract)}",
  Year          = "2018",
  File          = "1809.07115 (0) - a - a - c.pdf",
  file-2        = "The Reachability Problem for Petri Nets is Not Elementary - 1809.07115 - a - a - c.pdf"
}

@Article{ Czerwinski:NonElementary:2018, Author = "{Czerwinski}, W. and {Lasota}, S. and {Lazic}, R. and {Leroux}, J. and {Mazowiecki}, F.", adsnote = "Provided by the SAO/NASA Astrophysics Data System", adsurl = "http://adsabs.harvard.edu/abs/2018arXiv180907115C", ArchivePrefix = "arXiv", date-added = "2018-09-20 20:23:08 +0000", date-modified = "2018-10-08 11:22:52 +0000", EPrint = "1809.07115", Journal = "ArXiv e-prints", Keywords = "readme", Month = "September", PrimaryClass = "cs.FL", Title = "{The Reachability Problem for Petri Nets is Not Elementary (Extended Abstract)}", Year = "2018", File = "1809.07115 (0) - a - a - c.pdf", file-2 = "The Reachability Problem for Petri Nets is Not Elementary - 1809.07115 - a - a - c.pdf" }