Time- and Behavior-Preserving Execution of Determinate Supervisory Control

Alireza Mohamadkhani, Marc Geilen, Jeroen Voeten +1

The activity framework is a promising model-based design approach for Flexible Manufacturing Systems (FMS). It is used in industry for specification and analysis of FMS. It provide…