Abstract :
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.
Keywords :
"Supervisory control","Discrete event systems","Controllability","Observability","Law","Legal factors","Automatic control","Petri nets","Power system modeling","Sufficient conditions"
