Skip navigation
Please use this identifier to cite or link to this item: http://ela.kpi.ua/handle/123456789/20425
Title: Застосування методу інваріантів до аналізу кольорових мереж Петрі із дедлоками
Other Titles: Application of invariants method to analysis of colored Petri nets with deadlocks
Authors: Гломозда, Д. К.
Hlomozda, D.
Keywords: кольорові мережі Петрі
S-інваріанти
T-інваріанти
діофантові рівняння
багатопоточність
Issue Date: 2016
Publisher: ВЕК+
Citation: Гломозда Д. К. Застосування методу інваріантів до аналізу кольорових мереж Петрі із дедлоками / Гломозда Д. К. // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових праць. – 2016. – Вип. 64. – С. 38–46. – Бібліогр.: 21 назв.
URI: http://ela.kpi.ua/handle/123456789/20425
Appears in Collections:Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: збірник наукових праць, Вип. 64

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


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