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