Abstract: The transition between the supervisory control theory (SCT) and its implementation in programmable logic controllers (PLCs) is not straightforward. This is mainly due to the fact that the ...