Engineering & Technologies, 2016, 9(4), 523-528 ~ ~ ~ УДК 004.942 Petri Nets with the States Memory Alexey N. Sochnev* Siberian Federal University 79 Svobodny, Krasnoyarsk, 660041, Russia Received 02.02.2016, received in revised form 19.03.2016, accepted 07.05.2016 In this paper proposes improved rules of Petri net markingchange to expand a list of systems that are suitable for net modeling and solve some practical problems. <...> Cети Петри с памятью состояний А.Н. Сочнев Сибирский федеральный университет Россия, 660041, Красноярск, пр. <...> Свободный, 79 Предлагается усовершенствовать правила изменения маркировки сети Петри для расширения перечня систем, подходящих для моделирования сетями и решения некоторых практических задач. <...> Основная идея изменения этих правил состоит в формировании дополнительного вектора маркировки, элементы которого накапливают маркеры в ходе всего имитационного эксперимента, таким образом сохраняя его историю. <...> Значения элементов дополнительного вектора учитываются при имитации сети проверкой дополнительных условий срабатывания сети. <...> Введение Математический аппарат сетей Петри с момента своего появления зарекомендовал себя как достаточно универсальное средство моделирования процессов различной природы и сложности [1, 2]. <...> All rights reserved * Corresponding author E-mail address: lesek@mail.ru # 523 # Alexey N. Sochnev. <...> Petri Nets with the States Memory ях или значений элементов вектора маркировки. <...> Формально маркировка сети представляется только текущими значениями. <...> В то же время для решения некоторых задач может быть полезным сохранение и предшествующих значений маркировки позиций, а также использование такой предыстории в определении следующих маркировок. <...> Следует дополнить аппарат сетей Петри механизмом запоминания состояний для решения различных задач оптимизации и управления. <...> В качестве примера реализации предполагается реализовать предлагаемым подходом решение задачи коммивояжера. <...> Описание предлагаемого метода Обобщенная сеть Петри (рис. <...> 1) формально описывается набором вида R = {P,T,D,μ0 }, где P = {pi множество переходов, μ0 : P <...>