Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019)