Geert Stremersch

Broschiertes Buch

Supervision of Petri Nets

Beschreibung

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.

Produktdetails

• The International Series on Discrete Event Dynamic Systems 13
• Verlag: Springer / Springer US / Springer, Berlin
• Artikelnr. des Verlages: 978-1-4613-5603-5
• Softcover reprint of the original 1st ed. 2001
• Seitenzahl: 216
• Erscheinungstermin: 24. Oktober 2012
• Englisch
• Abmessung: 235mm x 155mm x 12mm
• Gewicht: 338g
• ISBN-13: 9781461356035
• ISBN-10: 1461356032
• Artikelnr.: 39159416