Context. The important task was solved during this scientific research related to specific development and verification of thefundamental suitability of the software application that provides visualization of the automatic synthesis of Petri nets while setting upthe multi-level control systems. This task is current because the for the first time the integration of means of discrete-continuous networksfrom the DC-Net environment in the Labview environment is realized through the implementation of automatic synthesis ofPetri nets. This makes it possible to automate the processes of synthesis for the control algorithms based on the development of appropriateintelligent systems. Objective. The purpose of the scientific work is to minimize the time and to automatize process in synthesis of the control algorithmsby integrating the means of discrete-continuous networks and implementing the principles of automatic synthesis of Petri nets. Method. This scientific article proposes the principle for automatic formation of Petri nets based on logical algorithm for classifyingvarious uncorrected algorithms. The multilayer neural network in the Labview 2009 software environment was implemented torealize the appropriate algorithm. This artificial neural network provides algorithm formation, automatic synthesis and operation ofPetri nets. The article is devoted to the study of operating principle of the software application implementing such automatic synthesisof Petri nets while setting up the multi-level control systems. Results. A number of experiments were performed on the classification of algorithms and formation of Petri nets based on theready-made software application. The control system was automatically set up based on the Labview 2009 environment applicationfor the determined object. As a result of these experiments we have determined the fundamental suitability of the software application for the synthesis ofsome multi-level automatic control systems. It was also shown during these experiments that all mismatch signals in the system anddeviations from the ratios of values controlled variables are reduced to zero. All parameters of the control systems settings werenoted after the multi-level system setting procedure on the front panel of the virtual stand. Conclusions. The task related to the software application development based on the Labview 2009 environment which providesthe automatic synthesis of Petri nets was solved in this scientific work. Thus the method of automatic synthesis of Petri nets andtechnology for developing certain algorithms based on the functioning of the artificial neural network was further developed.
Read full abstract