Martynyuk, Oleksandr; Мартинюк, Олександр Миколайович; Мартынюк, Александр Николаевич; Drozd, Olesandr; Дрозд, Олександр Валентинович; Дрозд, Александр Валентинович; Nesterenko, Sergiy; Нестеренко, Сергій Анатолієвич; Нестеренко, Сергей Анатольевич; Skobtsov, Vadym; Скобцов, Вадім Юрійович; Скобцов, Вадим Юрьевич; Thuong Van Bui; Тхіонг Ван Буі; Тхионг Ван Буи
(Odessa National Polytechnic University, 2021-03-30)
The introduction of new energy-consuming properties for positions and transitions into the checked properties of the extended reference Petri net, for which the deviations of the tested Petri net ...