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 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.

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.

Product details

• Authors: Geert Stremersch
• Publisher: Springer, Berlin
• Content: Book
• Product form: Hardback
• Publication date: 30.06.2009
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > IT
• EAN: 9780792374862
• ISBN: 978-0-7923-7486-2
• Pages: 198
• Illustrations: XIV, 198 p.
• Height (packing): 23.5 cm
• Weight (packing): 481 g
• Series: The International Series on Discrete Event Dynamic Systems > 13; The International Series on Discrete Event Dynamic Systems
• Subjects: B, Optimization, computer science, Discrete Mathematics in Computer Science, Systems Theory, Control, Computer science—Mathematics, Maths for computer scientists, Calculus of Variations and Optimization, Calculus of variations, Calculus of Variations and Optimal Control; Optimization, System Theory, Cybernetics & systems theory, Mathematica;algebra;algorithms;linear algebra;system, Cybernetics and systems theory