Давиденко, Андрій2026-02-062026-02-062025Давиденко А. М. Моделювання асинхронних процесів та управління станом за допомогою мереж Петрі / Давиденко А. М. // Теоретичні та прикладні аспекти побудови програмних систем : праці 16 Міжнародної науково-практичної конференції, 23-24 листопада 2025 року, Київ / [за заг. ред. М. М. Глибовця, Т. В. Панченка та ін. ; Факультет інформатики Національного університету "Києво-Могилянська академія" та ін.]. - Київ : НаУКМА, 2025. - С. 85-87.https://ekmair.ukma.edu.ua/handle/123456789/38278This work explores the formal modeling of asynchronous systems, using classic Place/Transition (P/T) nets and data-driven Coloured Petri Nets (CPNs). Formal models are presented for three distinct processing patterns: a P/T net for a simple mutual exclusion queue, a CPN for context-based concurrent processing, and a CPN for timestamp-based state management.Моделювання сучасних інформаційних систем, особливо асинхронних та розподілених, вимагає формалізмів, здатних адекватно описувати паралелізм та керовану даними логіку [4, 5]. У цій роботі демонструється застосування мереж Місць/Переходів (М/П) та Кольорових мереж Петрі (КМП) для моделювання попередньо визначених трьох класів розподілених систем [1].ukмоделювання інформаційних системмережа Петрімоделі мереж Петріуправління ресурсамиматеріали конференціїConference materials