Моделювання асинхронних процесів та управління станом за допомогою мереж Петрі
| dc.contributor.author | Давиденко, Андрій | uk_UA |
| dc.date.accessioned | 2026-02-06T09:42:27Z | |
| dc.date.available | 2026-02-06T09:42:27Z | |
| dc.date.issued | 2025 | |
| dc.description | This 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. | en_US |
| dc.description.abstract | Моделювання сучасних інформаційних систем, особливо асинхронних та розподілених, вимагає формалізмів, здатних адекватно описувати паралелізм та керовану даними логіку [4, 5]. У цій роботі демонструється застосування мереж Місць/Переходів (М/П) та Кольорових мереж Петрі (КМП) для моделювання попередньо визначених трьох класів розподілених систем [1]. | uk_UA |
| dc.identifier.citation | Давиденко А. М. Моделювання асинхронних процесів та управління станом за допомогою мереж Петрі / Давиденко А. М. // Теоретичні та прикладні аспекти побудови програмних систем : праці 16 Міжнародної науково-практичної конференції, 23-24 листопада 2025 року, Київ / [за заг. ред. М. М. Глибовця, Т. В. Панченка та ін. ; Факультет інформатики Національного університету "Києво-Могилянська академія" та ін.]. - Київ : НаУКМА, 2025. - С. 85-87. | uk_UA |
| dc.identifier.uri | https://ekmair.ukma.edu.ua/handle/123456789/38278 | |
| dc.language.iso | uk | uk_UA |
| dc.publisher | Національний університет "Києво-Могилянська академія" | uk_UA |
| dc.relation.source | Теоретичні та прикладні аспекти побудови програмних систем : праці 16 Міжнародної науково-практичної конференції, 23-24 листопада 2025 року, Київ | uk_UA |
| dc.status | first published | uk_UA |
| dc.subject | моделювання інформаційних систем | uk_UA |
| dc.subject | мережа Петрі | uk_UA |
| dc.subject | моделі мереж Петрі | uk_UA |
| dc.subject | управління ресурсами | uk_UA |
| dc.subject | матеріали конференції | uk_UA |
| dc.title | Моделювання асинхронних процесів та управління станом за допомогою мереж Петрі | uk_UA |
| dc.type | Conference materials | uk_UA |