Застосування методу інваріантів до аналізу кольорових мереж Петрі
Loading...
Date
2015
Authors
Гломозда, Дмитро
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
У роботі описано принципи застосування методу інваріантів, що використовує алгоритм
пошуку зрізаної множини розв’язків (Truncated Set of Solutions, TSS) рівняння стану мережі Петрі,
яке записується у вигляді систем лінійних однорідних діофантових рівнянь, до аналізу кольорових
мереж Петрі і дослідження їхніх статичних та динамічних властивостей. Розглянуто аналіз
кольорових мереж Петрі з кількісними фішками (на прикладі моделі взаємодії абонентів у базовій
телефонній мережі) та якісними фішками (на прикладі моделі функціонування багатопотоковості
в мові програмування Java). Описано еквівалентні перетворення кольорової мережі Петрі з якісними
фішками на аналогічну за властивостями кольорову мережу Петрі з кількісними фішками.
Description
Keywords
кольорові мережі Петрі, CPN Tools, інваріанти мережі Петрі, діофантові рівняння, діофантові нерівності, моделювання, багатопотоковість, властивості мереж Петрі, TSS-алгоритм
Citation
Гломозда, Дмитро Костянтинович. Застосування методу інваріантів до аналізу кольорових мереж Петрі / Гломозда Д. К. // Наукові записки НаУКМА. - 2015. - Т. 177 : Комп'ютерні науки. - С. 44-52.