Discrete Processes Modeling Based On Logic Control Algorithms And Petri Nets

Olga A. Ivashchuk, Viktoria I. Khalimon, Orest D. Ivashchuk, Vyacheslav I. Fedorov, Oleg V. Prostitenko, Sergey A. Zabnin

The proposed system of creating logical control algorithms allows to build control schemes for discrete processes and to analyze them using a library of algorithmic modules, then, to model dynamically logical control algorithms, verify and form a conclusion about their working capability using the Petri net apparatus. Logical control algorithms developed in this way are analyzed and tested. At this stage, using the apparatus of the theory of Petri nets and applying the widely used interpreted Petri nets, dynamic modeling of logical control algorithms is carried out. To implement simulation in a system based on the use of Petri nets in the automated construction and testing of logical control algorithms, some special types of transitions were developed. The type of transition of the Petri net is determined depending on the communication logic of the algorithmic modules in the original algorithm. As a result, the system allows the construction of logical control algorithms for the individual stages of the discrete process under consideration, their analysis and dynamic modeling, their verification and formation of a conclusion about operability.

Volume 12 | Issue 6

Pages: 654-663

DOI: 10.5373/JARDCS/V12I6/S20201077