The use of programmable logic controllers involves the design, development and generation of programs supervising concurrent, pipeline-like flowing processes. In this paper special attention is paid to the method of automatic synthesis of control programs. In particular, the synchronization mechanism involved in the control procedure operation is outlined and a formal framework capable to describe the automatic generation of programs is developed. It is shown that the approach introduced allows for both the direct implementation in the computer language, and provides a mathematical basis for the searching of dynamic properties of admissible controls. Consequently, the results provided can be applied in the course of the adaptive control design as well as in the computer aided validation of the processes performance.