Supervision of Petri Nets

  • Geert Stremersch

Table of contents

  1. Front Matter
    Pages i-xiv
  2. Geert Stremersch
    Pages 1-26
  3. Geert Stremersch
    Pages 27-52
  4. Geert Stremersch
    Pages 53-68
  5. Geert Stremersch
    Pages 69-108
  6. Geert Stremersch
    Pages 109-127
  7. Geert Stremersch
    Pages 129-147
  8. Geert Stremersch
    Pages 149-174
  9. Geert Stremersch
    Pages 175-191
  10. Back Matter
    Pages 193-198

About this book

Introduction

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.

Keywords

Mathematica algebra algorithms linear algebra system

Authors and affiliations

  • Geert Stremersch
    • 1
  1. 1.University of GhentBelgium

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4615-1537-1
  • Copyright Information Kluwer Academic Publishers 2001
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4613-5603-5
  • Online ISBN 978-1-4615-1537-1
  • Series Print ISSN 1388-4328
  • About this book