✓

@Book{            book:337294,
  Author        = "David, Ren{\'e} and Alla, Hassane",
  date-added    = "2021-10-29 12:01:41 +0200",
  date-modified = "2021-10-29 12:01:52 +0200",
  Edition       = "2",
  ISBN          = "364206129X,9783642106699,9783642061295,3642106684,9783642106682",
  Publisher     = "Springer-Verlag Berlin Heidelberg",
  Title         = "Discrete, Continuous, and Hybrid Petri Nets",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=f29558283cadee3d971336bc61289b78",
  Year          = "2010",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=f29558283cadee3d971336bc61289b78",
  File          = "René David, Hassane Alla (auth.) - Discrete, Continuous, and Hybrid Petri Nets-Springer-Verlag Berlin Heidelberg (2010).pdf"
}

@Book{ book:337294, Author = "David, Ren{\'e} and Alla, Hassane", date-added = "2021-10-29 12:01:41 +0200", date-modified = "2021-10-29 12:01:52 +0200", Edition = "2", ISBN = "364206129X,9783642106699,9783642061295,3642106684,9783642106682", Publisher = "Springer-Verlag Berlin Heidelberg", Title = "Discrete, Continuous, and Hybrid Petri Nets", URL = "http://gen.lib.rus.ec/book/index.php?md5=f29558283cadee3d971336bc61289b78", Year = "2010", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=f29558283cadee3d971336bc61289b78", File = "René David, Hassane Alla (auth.) - Discrete, Continuous, and Hybrid Petri Nets-Springer-Verlag Berlin Heidelberg (2010).pdf" }