Supervision of Petri Nets presents supervisory control theory for Petri nets with a legal set as the control goal. Petri nets model discrete event systems - dynamic systems whose evolution is completely determined by the occurrence of discrete events. Control laws, which guarantee that the system meets a set of specifications in the presence of uncontrollable and unobservable events, are studied and constructed, using application areas such as automated manufacturing and transportation systems. Supervision of Petri Nets introduces a new and mathematically sound approach to the subject. Existing results are unified by proposing a general mathematical language that makes extensive use of order theoretical ideas, and numerous new results are described, including ready-to-use algorithms that construct supervisory control laws for Petri nets. Supervision of Petri Nets is an excellent reference for researchers, and may also be used as a supplementary text for advanced courses on control theory.
Серыялы
Computers en technologie
Ацаніце гэту электронную кнігу
Падзяліцеся сваімі меркаваннямі.
Чытанне інфармацыb
Смартфоны і планшэты
Усталюйце праграму "Кнігі Google Play" для Android і iPad/iPhone. Яна аўтаматычна сінхранізуецца з вашым уліковым запісам і дазваляе чытаць у інтэрнэце або па-за сеткай, дзе б вы ні былі.
Ноўтбукі і камп’ютары
У вэб-браўзеры камп’ютара можна слухаць аўдыякнігі, купленыя ў Google Play.
Электронныя кнiгi i iншыя прылады
Каб чытаць на такіх прыладах для электронных кніг, як, напрыклад, Kobo, трэба спампаваць файл і перанесці яго на сваю прыладу. Выканайце падрабязныя інструкцыі, прыведзеныя ў Даведачным цэнтры, каб перанесці файлы на прылады, якія падтрымліваюцца.