Supervision of Petri nets
著者
書誌事項
Supervision of Petri nets
(The Kluwer international series on discrete event dynamic systems)
Kluwer Academic, c2001
大学図書館所蔵 件 / 全7件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. [193]-196
Includes index
内容説明・目次
内容説明
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.
目次
Preface. 1. The Petri Net Model. 2. Supervisory Control. 3. Uncontrollable Events and Transitions. 4. Reduction Theorems. 5. Acyclic Petri Nets. 6. Decomposition of the Control Design. 7. Continuous Versus Discrete Events. 8. Structural Linear Algebraic Control Design. References. Index.
「Nielsen BookData」 より