Конюшенко, С. 2015. Розробка та верифікація моделей систем із використанням мереж Петрі. Modern information system and technologies. 2 (Jun. 2015).