Використання Інгібіторних Мереж Петрі Для Побудови Автоматизованої Системи Обліку Пасажиропотоку Громадського Транспорту "Розумного" Міста

Abstract

Визначено загальний тренд політичних ініціатив Європейського Союзу щодо модернізації та підвищення ефективності всіх сфер діяльності сучасних мегаполісів. Проведено аналіз базових принципів концепції "розумного" міста, спрямованих на оптимізацію транспортної системи сучасних міст. Доведено важливість дослідження пасажиропотоків громадського транспорту, результати якого можна використати для розроблення комплексу дій із вдосконалення організації наявних перевезень пасажирів на діючих маршрутах, а також для реорганізації транспортної мережі міста загалом. Здійснено аналіз засобів моделювання складних дискретних систем для побудови та дослідження моделей автоматизованої системи обліку пасажирів у громадському транспорті "розумного" міста. Доведено, що використання інгібіторних мереж Петрі забезпечує ефективніший процес моделювання, адже для побудови моделі на їх основі потрібно використати менше елементів мережі, що призводить до генерації чіткішого, зрозумілішого та легшого для аналізу графу досяжності станів мережі Петрі. Розроблено модель контролера збирання даних про пасажиропотік автоматизованої системи на основі інгібіторних мереж Петрі. Використання інгібіторних мереж Петрі дає змогу спростити структуру моделі, що призводить до зменшення обчислювальних ресурсів, які необхідні для реалізації моделі засобами персонального комп'ютера.