书目名称 | Supervision of Petri Nets |
编辑 | Geert Stremersch |
视频video | |
丛书名称 | The International Series on Discrete Event Dynamic Systems |
图书封面 |  |
描述 | .Supervision of Petri Nets. presents supervisory controltheory for Petri nets with a legal set as the control goal. Petri netsmodel discrete event systems - dynamic systems whose evolutionis completely determined by the occurrence of discrete events. Controllaws, which guarantee that the system meets a set of specifications inthe presence of uncontrollable and unobservable events, are studiedand constructed, using application areas such as automatedmanufacturing and transportation systems. ..Supervision of Petri Nets. introduces a new and mathematicallysound approach to the subject. Existing results are unified byproposing a general mathematical language that makes extensive use oforder theoretical ideas, and numerous new results are described,including ready-to-use algorithms that construct supervisory controllaws for Petri nets. ..Supervision of Petri Nets. is an excellent reference forresearchers, and may also be used as a supplementary text for advancedcourses on control theory. |
出版日期 | Book 2001 |
关键词 | Mathematica; algebra; algorithms; linear algebra; system |
版次 | 1 |
doi | https://doi.org/10.1007/978-1-4615-1537-1 |
isbn_softcover | 978-1-4613-5603-5 |
isbn_ebook | 978-1-4615-1537-1Series ISSN 1388-4328 |
issn_series | 1388-4328 |
copyright | Springer Science+Business Media New York 2001 |