Supervision of Petri Nets /
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 me...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Boston, MA :
Springer US,
2001.
|
| Series: | Springer International Series on Discrete Event Dynamic Systems ;
13. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | 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. |
|---|---|
| Item Description: | Electronic resource. |
| Physical Description: | 1 online resource (xiv, 198 pages) |
| ISBN: | 9781461515371 (electronic bk.) 1461515378 (electronic bk.) |
| ISSN: | 1388-4328 ; |