Skip navigation
Please use this identifier to cite or link to this item: https://ela.kpi.ua/handle/123456789/20425
Full metadata record
DC FieldValueLanguage
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.identifier.citationГломозда Д. К. Застосування методу інваріантів до аналізу кольорових мереж Петрі із дедлоками / Гломозда Д. К. // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових праць. – 2016. – Вип. 64. – С. 38–46. – Бібліогр.: 21 назв.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/20425-
dc.language.isoukuk
dc.sourceВісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових праць, Вип. 64uk
dc.subjectкольорові мережі Петріuk
dc.subjectS-інваріантиuk
dc.subjectT-інваріантиuk
dc.subjectдіофантові рівнянняuk
dc.subjectбагатопоточністьuk
dc.titleЗастосування методу інваріантів до аналізу кольорових мереж Петрі із дедлокамиuk
dc.title.alternativeApplication of invariants method to analysis of colored Petri nets with deadlocksuk
dc.typeArticleuk
thesis.degree.level-uk
dc.format.pagerangeС. 38-46uk
dc.status.pubpublisheduk
dc.publisher.placeКиївuk
dc.subject.udc681.3uk
dc.description.abstractukВ роботі описано застосування методу інваріантів, що використовує алгоритм пошуку зрізаної множини розв’язків рівняння стану мережі Петрі, яке записується у вигляді систем лінійних однорідних діофантових рівнянь, до аналізу кольорових мереж Петрі, які містять дедлоки, на прикладі моделі функціонування багатопоточності в мові програмування Java за шаблоном «виробники/споживачі» з використанням комбінації методів wait()/notify().uk
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.publisherВЕК+uk
Appears in Collections:Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: збірник наукових праць, Вип. 64

Files in This Item:
File Description SizeFormat 
64-05-Hlomozda.pdf1.16 MBAdobe PDFThumbnail
View/Open
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.