Petri Nets for Supervisory Control of Discrete Events Systems
A Structural Approach
Published on 30. September 2000
Book
Hardback
200 pages
978-981-02-2831-6 (ISBN)
Description
Discrete events systems represents a new field of control theory of increasing importance. Supervisory control theory, based on formal languages, is a well established framework for the study of discrete event systems. Petri nets are a powerful discrete event model rich of analytical tools. This book presents a structural approach to the use of Petri nets in supervisory control. In this approach, Petri nets are used to model not only the controlled system but the supervisor as well.
More details
Series
Language
English
Place of publication
Singapore
Singapore
Target group
College/higher education
Professional and scholarly
ISBN-13
978-981-02-2831-6 (9789810228316)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Persons
Content
Petri nets and other discrete event models; formal languages and Petri net languages; introduction to supervisory control theory; existence and decidability properties for Petri net supervisors; supervisory design using nets; incidence matrix analysis of Petri net supervisors; control of Petri nets using monitors.