Supervision of Petri Nets
Edition: 1 edition
Series: The International Series on Discrete Event Dynamic Systems
Publisher: Springer
Published: September 1, 2001
Language: eng
Format: Hardcover
Number of pages: 216
ISBN-13: 9780792374862
Subjects: Mathematical logic; Discrete Mathematics (Computer Science); Mathematics; Science/Mathematics; Discrete Mathematics; General; Logic; Mathematics / Discrete Mathematics; Mathematics / Logic; Mathematics : Discrete Mathematics; Medical : General; Advanced; Computer Science; Control Theory; Petri nets
First sentence: In this chapter discrete event systems are defined and the Petri net model for these dynamic systems is introduced.
Description: "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 of Petri nets.".

"Supervision of Petri Nets is an excellent reference for researchers, and may also be used as supplementary for advanced courses on control theory."--BOOK JACKET.