✓

@Book{            book:2257696,
  Author        = "Wonham, W. Murray and Cai, Kai",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2021-09-28 22:02:36 +0200",
  ISBN          = "978-3-319-77452-7",
  Publisher     = "Springer",
  Series        = "Communications and Control Engineering",
  Title         = "Supervisory Control of Discrete-Event Systems",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=b75b41976f94abd923d2f0cb982bf62b",
  Year          = "2019",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=b75b41976f94abd923d2f0cb982bf62b",
  File          = "Supervisory Control of Discrete-Event Systems.pdf",
  file-2        = "Supervisory Control of Discrete-Event Systems - SUPERVISORY\_CONTROL\_OF\_DISCRETE\_EVENT\_SY.pdf"
}

@Book{ book:2257696, Author = "Wonham, W. Murray and Cai, Kai", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2021-09-28 22:02:36 +0200", ISBN = "978-3-319-77452-7", Publisher = "Springer", Series = "Communications and Control Engineering", Title = "Supervisory Control of Discrete-Event Systems", URL = "http://gen.lib.rus.ec/book/index.php?md5=b75b41976f94abd923d2f0cb982bf62b", Year = "2019", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=b75b41976f94abd923d2f0cb982bf62b", File = "Supervisory Control of Discrete-Event Systems.pdf", file-2 = "Supervisory Control of Discrete-Event Systems - SUPERVISORY_CONTROL_OF_DISCRETE_EVENT_SY.pdf" }