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

dc.contributor.authorГломозда, Дмитро
dc.date.accessioned2017-01-24T13:45:22Z
dc.date.available2017-01-24T13:45:22Z
dc.date.issued2016
dc.descriptionApplication 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 col-ored 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.en
dc.description.abstractВ роботі описано застосування методу інваріантів, що використовує алгоритм пошуку зрізаної множини розв’язків рівняння стану мережі Петрі, яке записується у вигляді систем лінійних однорід-них діофантових рівнянь, до аналізу кольорових мереж Петрі, які містять дедлоки, на прикладі моделі функціонування багатопоточності в мові програмування Java за шаблоном «виробники/споживачі» з використанням комбінації методів wait()/notify().uk
dc.identifier.citationГломозда Дмитро Костянтинович. Застосування методу інваріантів до аналізу кольорових мереж Петрі із дедлоками / Д. К. Гломозда // Вісник Національного технічного університету України "Київський політехнічний інститут". Серія "Інформатика, управління та обчислювальна техніка" : збірник наукових праць. - Київ : Век+, 2016. - № 64. - С. 38-46.uk
dc.identifier.urihttps://ekmair.ukma.edu.ua/handle/123456789/10870
dc.language.isoukuk
dc.relation.sourceВісник Національного технічного університету України "Київський політехнічний інститут". Серія "Інформатика, управління та обчислювальна техніка": збірник наукових працьuk
dc.statuspublished earlieruk
dc.subjectкольорові мережі Петріuk
dc.subjectS-інваріантиuk
dc.subjectT-інваріантиuk
dc.subjectдіофантові рівнянняuk
dc.subjectбагатопоточністьuk
dc.titleЗастосування методу інваріантів до аналізу кольорових мереж Петрі із дедлокамиuk
dc.typeArticleuk
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Hlomozda_Zastosuvannia_metodu_invariantiv.pdf
Size:
1.07 MB
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: