С. Конюшенко, «Розробка та верифікація моделей систем із використанням мереж Петрі», НІСТ, вип. 2, Чер 2015.