Supervisory Control of Concurrent Systems: A Petri Net Structural Approach (M.V. Iordache and P.J. Antsaklis; 2008) [Book reviews]

This book provides a nice presentation of supervisory control of discrete event systems using a Petri net model. It covers a wide range of topics on supervisory control in the framework of Petri nets. Some of the topics covered include: an introduction to Petri net models; specifications using linear constraints; specifications using generalized linear constraints; language specifications; supervisory controls for different specifications; deadlock and liveness in supervisory control of Petri nets; and hybrid systems. The key feature of the book is that it presents the recent research in supervisory control of Petri nets in a comprehensive manner. The book is well written and self-contained. It would be very useful to researchers in the field of supervisory control.