Застосування методу інваріантів до аналізу кольорових мереж Петрі

Simple item page
dc.contributor.authorГломозда, Дмитро
dc.date.accessioned2016-04-21T12:55:21Z
dc.date.available2016-04-21T12:55:21Z
dc.date.issued2015
dc.description.abstractУ роботі описано принципи застосування методу інваріантів, що використовує алгоритм пошуку зрізаної множини розв’язків (Truncated Set of Solutions, TSS) рівняння стану мережі Петрі, яке записується у вигляді систем лінійних однорідних діофантових рівнянь, до аналізу кольорових мереж Петрі і дослідження їхніх статичних та динамічних властивостей. Розглянуто аналіз кольорових мереж Петрі з кількісними фішками (на прикладі моделі взаємодії абонентів у базовій телефонній мережі) та якісними фішками (на прикладі моделі функціонування багатопотоковості в мові програмування Java). Описано еквівалентні перетворення кольорової мережі Петрі з якісними фішками на аналогічну за властивостями кольорову мережу Петрі з кількісними фішками.uk
dc.identifier.citationГломозда, Дмитро Костянтинович. Застосування методу інваріантів до аналізу кольорових мереж Петрі / Гломозда Д. К. // Наукові записки НаУКМА. - 2015. - Т. 177 : Комп'ютерні науки. - С. 44-52.uk
dc.identifier.urihttps://ekmair.ukma.edu.ua/handle/123456789/8929
dc.language.isoukuk
dc.relation.sourceНаукові записки НаУКМА. - 2015. - Т. 177 : Комп'ютерні науки. - С. 44-52.uk
dc.statusfirst publisheduk
dc.subjectкольорові мережі Петріuk
dc.subjectCPN Toolsuk
dc.subjectінваріанти мережі Петріuk
dc.subjectдіофантові рівнянняuk
dc.subjectдіофантові нерівностіuk
dc.subjectмоделюванняuk
dc.subjectбагатопотоковістьuk
dc.subjectвластивості мереж Петріuk
dc.subjectTSS-алгоритмuk
dc.titleЗастосування методу інваріантів до аналізу кольорових мереж Петріuk
dc.title.alternativeApplication of invariants method to analysis of colored Petri netsuk
dc.typeArticleuk
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Hlomozda_Zastosuvannia_metodu_invariantiv.pdf
Size:
734.09 KB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
7.54 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
177: Комп'ютерні науки
Кафедра інформатики