Model of Automated System for Processing the Public Transport Passenger Traffic Parameters in the "Smart" City Based on Colored Petri Nets

Abstract

УДК 004.67 О. Ю. БорейкоТернопільський національний економічний університет, м. Тернопіль, Україна МОДЕЛЬ АВТОМАТИЗОВАНОЇ СИСТЕМИ ОПРАЦЮВАННЯ ПАРАМЕТРІВ ПАСАЖИРОПОТОКУ ГРОМАДСЬКОГО ТРАНСПОРТУ "РОЗУМНОГО" МІСТА НА ОСНОВІ КОЛЬОРОВИХ МЕРЕЖ ПЕТРІРозроблено структуру автоматизованої системи опрацювання параметрів пасажиропотоку громадського транспорту "ро-зумного" міста. Структура базується на використанні одноплатного комп'ютера Raspberry Pi в ролі головного контролера, IP відеокамер, USB фотокамери, GPS і GSM модулів та інших периферійних пристроїв для збору даних про пасажиропотік у транспортному засобі громадського користування та передачі їх на оброблення сервером. Основою структури є клієнт-сер-верна взаємодія. Представлено покроковий алгоритм, що відображає загальні принципи функціонування системи та етапи опрацювання параметрів пасажиропотоку. На основі розроблених структури та алгоритму функціонування побудовано та досліджено модель автоматизованої системи опрацювання параметрів пасажиропотоку громадського транспорту на основі кольорових мереж Петрі. Модель реалізовано засобами програмного пакету CPN Tools, призначеного для побудови моделей за допомогою розширених класів теорії мереж Петрі. Результати дослідження кольорової мережі Петрі дають змогу ствер-джувати, що пропоновані структура та алгоритм системи цілком задовольняють технічне завдання. Згідно з проведеним аналізу мережа Петрі є живою, усі стани системи досяжні, а "мертві" переходи та тупики відсутні.Ключові слова: Raspberry Pi; периферійні пристрої; контролер; теорія мереж Петрі; CPN Tools.