Supervisory Control of Concurrent Systems

A Petri Net Structural Approach

af Marian Iordache, m.fl.

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.