✓

@Book{            book:962108,
  Author        = {Raisch, J{\"o}rg and Seatzu, Carla and Silva, Manuel and van Schuppen, Jan H.},
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  Edition       = "1",
  ISBN          = "978-1-4471-4275-1,978-1-4471-4276-8",
  Publisher     = "Springer-Verlag London",
  Series        = "Lecture Notes in Control and Information Sciences 433",
  Title         = "Control of Discrete-Event Systems: Automata and Petri Net Perspectives",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=0504aee35b5f391591d16c37f1e5020b",
  Year          = "2013",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=0504aee35b5f391591d16c37f1e5020b",
  File          = "Control-of-Discrete-Event-Systems-Automata-and-Petri-Net-Perspectives (0) - a - a.pdf"
}

@Book{ book:962108, Author = {Raisch, J{\"o}rg and Seatzu, Carla and Silva, Manuel and van Schuppen, Jan H.}, date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", Edition = "1", ISBN = "978-1-4471-4275-1,978-1-4471-4276-8", Publisher = "Springer-Verlag London", Series = "Lecture Notes in Control and Information Sciences 433", Title = "Control of Discrete-Event Systems: Automata and Petri Net Perspectives", URL = "http://gen.lib.rus.ec/book/index.php?md5=0504aee35b5f391591d16c37f1e5020b", Year = "2013", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=0504aee35b5f391591d16c37f1e5020b", File = "Control-of-Discrete-Event-Systems-Automata-and-Petri-Net-Perspectives (0) - a - a.pdf" }