The paper describes method of control Petri net synthesis for real time automation systems. Method uses structured discrete event system model for verification of functionality and consistency. The first step of the method models technological process as Petri net and the second step constructs appropriate supervisor control net via generation of new interaction edges thus providing specification fullfilment. Method is based on syntax transformation of initial description model that guaranties absence of "state explosion" problem.