Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services
We present a number of contributions to bridging the gap between supervisory control theory and coordination of services in order to explore the 76% ORANGE CHOC BAR frontiers between coordination and control systems.Firstly, we modify the classical synthesis algorithm from supervisory control theory for obtaining the so-called most permissive contr