eKMAIR

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

Show simple item record

dc.contributor.author Гломозда, Дмитро
dc.date.accessioned 2016-04-21T12:55:21Z
dc.date.available 2016-04-21T12:55:21Z
dc.date.issued 2015
dc.identifier.citation Гломозда, Дмитро Костянтинович. Застосування методу інваріантів до аналізу кольорових мереж Петрі / Гломозда Д. К. // Наукові записки НаУКМА. - 2015. - Т. 177 : Комп'ютерні науки. - С. 44-52. uk
dc.identifier.uri http://ekmair.ukma.edu.ua/handle/123456789/8929
dc.description.abstract Principles 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
dc.description.abstract У роботі описано принципи застосування методу інваріантів, що використовує алгоритм пошуку зрізаної множини розв’язків (Truncated Set of Solutions, TSS) рівняння стану мережі Петрі, яке записується у вигляді систем лінійних однорідних діофантових рівнянь, до аналізу кольорових мереж Петрі і дослідження їхніх статичних та динамічних властивостей. Розглянуто аналіз кольорових мереж Петрі з кількісними фішками (на прикладі моделі взаємодії абонентів у базовій телефонній мережі) та якісними фішками (на прикладі моделі функціонування багатопотоковості в мові програмування Java). Описано еквівалентні перетворення кольорової мережі Петрі з якісними фішками на аналогічну за властивостями кольорову мережу Петрі з кількісними фішками. uk
dc.language.iso uk uk
dc.subject кольорові мережі Петрі uk
dc.subject CPN Tools uk
dc.subject інваріанти мережі Петрі uk
dc.subject діофантові рівняння uk
dc.subject діофантові нерівності uk
dc.subject моделювання uk
dc.subject багатопотоковість uk
dc.subject властивості мереж Петрі uk
dc.subject TSS-алгоритм uk
dc.title Застосування методу інваріантів до аналізу кольорових мереж Петрі uk
dc.title.alternative Application of invariants method to analysis of colored Petri nets uk
dc.type Article uk
dc.status first published uk
dc.relation.source Наукові записки НаУКМА. - 2015. - Т. 177 : Комп'ютерні науки. - С. 44-52. uk


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Browse

My Account

Statistics