| Issue Date | Title | Author(s) |
| 2014 | Анализ и верификация раскрашенных сетей Петри реального времени с поддержкой логики Аллена | Еремеев, А. П.; Королев, Ю. И. |
| 2022 | Анализ языков задания протоколов взаимодействия в открытых агентских средах | Черемисинов, Д. И.; Черемисинова, Л. Д. |
| 2015 | Верификация моделей процессов в динамических системах по методу model checking | Королев, Ю. И. |
| 2013 | Использование сетей Петри для моделирования вычислительных систем | Кизилов, Е. А. |
| 2024 | Моделирование веб-процессов сетями Петри с распределением задач между агентами через WebSocket | Хаджинова, Н. В. |
| 2015 | Моделирование работы автоматизированной системы управления качеством сетями Петри | Бурдо, Г. Б.; Виноградов, Г. П.; Сорокин, А. Ю. |
| 2018 | Моделирование технологических процессов с использованием сетей Петри | Конколович, В. С.; Кудрявцев, Р. А.; Стасевич, Н. А. |
| 2006 | Объектно-ориентированное представление рекуррентных сетевых моделей | Хаджинова, Н. В.; Шешко, Е. В.; Ревотюк, М. П. |
| 2009 | Полиморфные сетевые модели процессов управления технологическими системами | Ревотюк, М. П.; Хаджинова, Н. В. |
| 2008 | Прецеденты моделей систем обслуживания | Ревотюк, М. П.; Хаджинова, Н. В. |
| 2025 | Развитие технологии удаленных учебных рабочих мест для инклюзивного непрерывного профессионального образования | Хаджинова, Н. В.; Трофимович, А. Ф.; Хаджинова, К. А. |
| 2011 | Сети свободного выбора в шаблонах проектирования систем обслуживания | Ревотюк, М. П.; Мицкевич, В. В.; Иванова, И. А. |
| 2012 | Спецификация открытых моделей систем обслуживания | Ревотюк, М. П.; Хаджинова, Н. В.; Шешко, Е. В. |
