Застосування методу інваріантів до аналізу кольорових мереж Петрі
dc.contributor.author | Гломозда, Дмитро | |
dc.date.accessioned | 2016-04-21T12:55:21Z | |
dc.date.available | 2016-04-21T12:55:21Z | |
dc.date.issued | 2015 | |
dc.description | 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_US |
dc.description.abstract | У роботі описано принципи застосування методу інваріантів, що використовує алгоритм пошуку зрізаної множини розв’язків (Truncated Set of Solutions, TSS) рівняння стану мережі Петрі, яке записується у вигляді систем лінійних однорідних діофантових рівнянь, до аналізу кольорових мереж Петрі і дослідження їхніх статичних та динамічних властивостей. Розглянуто аналіз кольорових мереж Петрі з кількісними фішками (на прикладі моделі взаємодії абонентів у базовій телефонній мережі) та якісними фішками (на прикладі моделі функціонування багатопотоковості в мові програмування Java). Описано еквівалентні перетворення кольорової мережі Петрі з якісними фішками на аналогічну за властивостями кольорову мережу Петрі з кількісними фішками. | uk_UA |
dc.identifier.citation | Гломозда Д. К. Застосування методу інваріантів до аналізу кольорових мереж Петрі / Гломозда Д. К. // Наукові записки НаУКМА. - 2015. - Т. 177 : Комп'ютерні науки. - С. 44-52. | uk_UA |
dc.identifier.uri | https://ekmair.ukma.edu.ua/handle/123456789/8929 | |
dc.language.iso | uk | uk_UA |
dc.relation.source | Наукові записки НаУКМА. - 2015. - Т. 177 : Комп'ютерні науки. - С. 44-52. | uk_UA |
dc.status | first published | uk_UA |
dc.subject | кольорові мережі Петрі | uk_UA |
dc.subject | CPN Tools | uk_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.subject | TSS-алгоритм | uk_UA |
dc.subject | стаття | uk_UA |
dc.subject | colored Petri nets | en_US |
dc.subject | CPN Tools | en_US |
dc.subject | Petri net invariants | en_US |
dc.subject | Diophantine equations | en_US |
dc.subject | Diophantine inequations | en_US |
dc.subject | modeling | en_US |
dc.subject | multithreading | en_US |
dc.subject | Petri nets properties | en_US |
dc.subject | TSS-algorithm | en_US |
dc.title | Застосування методу інваріантів до аналізу кольорових мереж Петрі | uk_UA |
dc.title.alternative | Application of invariants method to analysis of colored Petri nets | en_US |
dc.type | Article | uk_UA |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- Hlomozda_Zastosuvannia_metodu_invariantiv.pdf
- Size:
- 734.09 KB
- Format:
- Adobe Portable Document Format
- Description:
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 7.54 KB
- Format:
- Item-specific license agreed upon to submission
- Description: