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

Скорочена інформація про документ
dc.contributor.authorГломозда, Д. К.
dc.contributor.authorHlomozda, D.
dc.date.accessioned2017-08-28T13:07:34Z
dc.date.available2017-08-28T13:07:34Z
dc.date.issued2016
dc.description.abstractenApplication of invariants method, which uses Truncated Set of Solutions finding algorithm for Petri net state equations expressed through systems of linear homogenous Diophantine equations to analysis of colored Petri nets containing deadlocks is described in the article based on the models of multithreading in Java according to producers-consumers patter using wait()/notify() methods combination is covered.uk
dc.description.abstractukВ роботі описано застосування методу інваріантів, що використовує алгоритм пошуку зрізаної множини розв’язків рівняння стану мережі Петрі, яке записується у вигляді систем лінійних однорідних діофантових рівнянь, до аналізу кольорових мереж Петрі, які містять дедлоки, на прикладі моделі функціонування багатопоточності в мові програмування Java за шаблоном «виробники/споживачі» з використанням комбінації методів wait()/notify().uk
dc.format.pagerangeС. 38-46uk
dc.identifier.citationГломозда Д. К. Застосування методу інваріантів до аналізу кольорових мереж Петрі із дедлоками / Гломозда Д. К. // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових праць. – 2016. – Вип. 64. – С. 38–46. – Бібліогр.: 21 назв.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/20425
dc.language.isoukuk
dc.publisherВЕК+uk
dc.publisher.placeКиївuk
dc.sourceВісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових праць, Вип. 64uk
dc.status.pubpublisheduk
dc.subjectкольорові мережі Петріuk
dc.subjectS-інваріантиuk
dc.subjectT-інваріантиuk
dc.subjectдіофантові рівнянняuk
dc.subjectбагатопоточністьuk
dc.subject.udc681.3uk
dc.titleЗастосування методу інваріантів до аналізу кольорових мереж Петрі із дедлокамиuk
dc.title.alternativeApplication of invariants method to analysis of colored Petri nets with deadlocksuk
dc.typeArticleuk
thesis.degree.level-uk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
64-05-Hlomozda.pdf
Розмір:
1.13 MB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
7.8 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: збірник наукових праць, Вип. 64