Supervisory Control of Concurrent Systems: A Petri Net Structural Approach by Marian V. Iordache
English | PDF | 2006 | 289 Pages | ISBN : 0817643575 | 3 MB
Increasing complexity in engineering projects raises difficult challenges in industry and requires effective tools for correct-by-construction design or design verification. This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications represented in the discrete-event framework. The approach employed uses Petri nets as discrete-event models and structural methods for the synthesis of supervisors, and may lead to significant computational benefits.