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

dc.contributor.authorГломозда, Дмитро
dc.date.accessioned2016-04-21T12:55:21Z
dc.date.available2016-04-21T12:55:21Z
dc.date.issued2015
dc.descriptionPrinciples of application of invariants method, which uses Truncated Set of Solutions (TSS) finding algorithm for Petri net state equations expressed through systems of linear homogenous Diophantine equations to analysis of colored Petri nets are described in the article, as well as their usage to study their static and dynamic properties. Analysis of colored Petri nets with both quantitative tokens (based on the model of interaction between Plain Old Telephone Service clients) and qualitative tokens (based on the models of multithreading in Java) is covered. Equal transformation of colored Petri nets featuring qualitative tokens into colored Petri nets featuring quantitative tokens with properties of the former preserved are described.en_US
dc.description.abstractУ роботі описано принципи застосування методу інваріантів, що використовує алгоритм пошуку зрізаної множини розв’язків (Truncated Set of Solutions, TSS) рівняння стану мережі Петрі, яке записується у вигляді систем лінійних однорідних діофантових рівнянь, до аналізу кольорових мереж Петрі і дослідження їхніх статичних та динамічних властивостей. Розглянуто аналіз кольорових мереж Петрі з кількісними фішками (на прикладі моделі взаємодії абонентів у базовій телефонній мережі) та якісними фішками (на прикладі моделі функціонування багатопотоковості в мові програмування Java). Описано еквівалентні перетворення кольорової мережі Петрі з якісними фішками на аналогічну за властивостями кольорову мережу Петрі з кількісними фішками.uk_UA
dc.identifier.citationГломозда Д. К. Застосування методу інваріантів до аналізу кольорових мереж Петрі / Гломозда Д. К. // Наукові записки НаУКМА. - 2015. - Т. 177 : Комп'ютерні науки. - С. 44-52.uk_UA
dc.identifier.urihttps://ekmair.ukma.edu.ua/handle/123456789/8929
dc.language.isoukuk_UA
dc.relation.sourceНаукові записки НаУКМА. - 2015. - Т. 177 : Комп'ютерні науки. - С. 44-52.uk_UA
dc.statusfirst publisheduk_UA
dc.subjectкольорові мережі Петріuk_UA
dc.subjectCPN Toolsuk_UA
dc.subjectінваріанти мережі Петріuk_UA
dc.subjectдіофантові рівнянняuk_UA
dc.subjectдіофантові нерівностіuk_UA
dc.subjectмоделюванняuk_UA
dc.subjectбагатопотоковістьuk_UA
dc.subjectвластивості мереж Петріuk_UA
dc.subjectTSS-алгоритмuk_UA
dc.subjectстаттяuk_UA
dc.subjectcolored Petri netsen_US
dc.subjectCPN Toolsen_US
dc.subjectPetri net invariantsen_US
dc.subjectDiophantine equationsen_US
dc.subjectDiophantine inequationsen_US
dc.subjectmodelingen_US
dc.subjectmultithreadingen_US
dc.subjectPetri nets propertiesen_US
dc.subjectTSS-algorithmen_US
dc.titleЗастосування методу інваріантів до аналізу кольорових мереж Петріuk_UA
dc.title.alternativeApplication of invariants method to analysis of colored Petri netsen_US
dc.typeArticleuk_UA
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Hlomozda_Zastosuvannia_metodu_invariantiv.pdf
Size:
734.09 KB
Format:
Adobe Portable Document Format
Description:
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: