Synthesis of feedback control logic for structured discrete event systems supervisor in control Petri nets

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 fulfilment. Method is based on syntax transformation of initial description model that guaranties absence of "state explosion" problem.