Застосування методу інваріантів до аналізу кольорових мереж Петрі із дедлоками
Вантажиться...
Дата
2016
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
ВЕК+
Анотація
Опис
Ключові слова
кольорові мережі Петрі, S-інваріанти, T-інваріанти, діофантові рівняння, багатопоточність
Бібліографічний опис
Гломозда Д. К. Застосування методу інваріантів до аналізу кольорових мереж Петрі із дедлоками / Гломозда Д. К. // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових праць. – 2016. – Вип. 64. – С. 38–46. – Бібліогр.: 21 назв.