✓

@Book{            Chini2019,
  Editor        = "Reisig, Wolfgang and Rozenberg, Grzegorz",
  Abstract      = "Verification involves checking the correctness of computer programs, conducted on a model of the overall system, and often this model is a Petri net. In the context of safety, verification may mean showing that a system cannot reach an unsafe state. Richard J. Lipton established a lower bound on the reachability for Petri nets, we discuss how this came about.",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  Publisher     = "Springer International Publishing",
  Title         = "Carl Adam Petri: Ideas, Personality, Impact",
  Year          = "2019",
  bdsk-url-1    = "https://doi.org/10.1007/978-3-319-96154-5\_21",
  File          = "2019\_Book\_CarlAdamPetriIdeasPersonalityI (0) - a - a.epub",
  file-2        = "2019\_Book\_CarlAdamPetriIdeasPersonalityI (0) - a - a.pdf"
}

@Book{ Chini2019, Editor = "Reisig, Wolfgang and Rozenberg, Grzegorz", Abstract = "Verification involves checking the correctness of computer programs, conducted on a model of the overall system, and often this model is a Petri net. In the context of safety, verification may mean showing that a system cannot reach an unsafe state. Richard J. Lipton established a lower bound on the reachability for Petri nets, we discuss how this came about.", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", Publisher = "Springer International Publishing", Title = "Carl Adam Petri: Ideas, Personality, Impact", Year = "2019", bdsk-url-1 = "https://doi.org/10.1007/978-3-319-96154-5_21", File = "2019_Book_CarlAdamPetriIdeasPersonalityI (0) - a - a.epub", file-2 = "2019_Book_CarlAdamPetriIdeasPersonalityI (0) - a - a.pdf" }