Моделювання асинхронних процесів та управління станом за допомогою мереж Петрі
Loading...
Date
2025
Authors
Давиденко, Андрій
Journal Title
Journal ISSN
Volume Title
Publisher
Національний університет "Києво-Могилянська академія"
Abstract
Моделювання сучасних інформаційних систем, особливо асинхронних та розподілених, вимагає формалізмів, здатних адекватно описувати паралелізм та керовану даними логіку [4, 5]. У цій роботі демонструється застосування мереж Місць/Переходів (М/П) та Кольорових мереж Петрі (КМП) для моделювання попередньо визначених трьох класів розподілених систем [1].
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.
Keywords
моделювання інформаційних систем, мережа Петрі, моделі мереж Петрі, управління ресурсами, матеріали конференції
Citation
Давиденко А. М. Моделювання асинхронних процесів та управління станом за допомогою мереж Петрі / Давиденко А. М. // Теоретичні та прикладні аспекти побудови програмних систем : праці 16 Міжнародної науково-практичної конференції, 23-24 листопада 2025 року, Київ / [за заг. ред. М. М. Глибовця, Т. В. Панченка та ін. ; Факультет інформатики Національного університету "Києво-Могилянська академія" та ін.]. - Київ : НаУКМА, 2025. - С. 85-87.