Kluwer Academic Publishers, 208 pages, 1998.
Abstract: The book presents a novel approach for the supervisory control of discrete event systems using Petri nets. The concepts of supervisory control and discrete event systems are explained, and the background material on general Petri net theory necessary for using the book's control techniques is provided. A large number of examples are used to illustrate the concepts and techniques presented in the text, and there are plenty of references for those interested in additional study or more information on a particular topic.
In the area of supervisory control, Petri nets provide an alternative to automata for modeling discrete event system plants. Petri nets provide increased modeling expressiveness and complexity compared to automata, allowing for a richer range of possible plant behaviors. Unfortunately this increase in modeling power typically also increases the difficulty of synthesizing supervisory controllers. This difficulty is overcome here for a large class of supervisory control goals using a method that is based on Petri net place invariants. The approach is easy to use and computationally efficient, both in the design and implementation phases, making the technique appropriate also for real time control and online control reconfiguration.
This book is intended for graduate students, advanced undergraduates, and practicing engineers who are interested in the control problems of manufacturing, communication and computer networks, chemical process plants, and other high level control applications. The text is written from an engineering perspective, but it is also appropriate for students of computer science, applied mathematics, or economics. The book contains enough background material to stand alone as an introduction to supervisory control with Petri nets, but it may also be used as a supplemental text in a course on discrete event systems or intelligent autonomous control.
Back to the Petri Nets Bibliography