Series:

Series in Intelligent Control and Intelligent Automation

1 total work

v. 9

Cover of Petri Nets for Supervisory Control of Discrete Events Systems
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.