Гломозда, Дмитро2017-01-242017-01-242016Гломозда Дмитро Костянтинович. Застосування методу інваріантів до аналізу кольорових мереж Петрі із дедлоками / Д. К. Гломозда // Вісник Національного технічного університету України "Київський політехнічний інститут". Серія "Інформатика, управління та обчислювальна техніка" : збірник наукових праць. - Київ : Век+, 2016. - № 64. - С. 38-46.https://ekmair.ukma.edu.ua/handle/123456789/10870Application 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.В роботі описано застосування методу інваріантів, що використовує алгоритм пошуку зрізаної множини розв’язків рівняння стану мережі Петрі, яке записується у вигляді систем лінійних однорід-них діофантових рівнянь, до аналізу кольорових мереж Петрі, які містять дедлоки, на прикладі моделі функціонування багатопоточності в мові програмування Java за шаблоном «виробники/споживачі» з використанням комбінації методів wait()/notify().ukкольорові мережі ПетріS-інваріантиT-інваріантидіофантові рівняннябагатопоточністьArticle