Наукова періодика України Наукові записки НаУКМА

Гломозда Д. К. 
Застосування методу інваріантів до аналізу кольорових мереж Петрі / Д. К. Гломозда // Наукові записки НаУКМА. Комп'ютерні науки. - 2015. - Т. 177. - С. 44-52. - Режим доступу: http://nbuv.gov.ua/UJRN/NaUKMAkn_2015_177_12
Описано застосування методу інваріантів, що використовує алгоритм пошуку зрізаної множини розв'язків рівняння стану мережі Петрі, яке записується у вигляді систем лінійних однорідних діофантових рівнянь, до аналізу кольорових мереж Петрі, які містять дедлоки, на прикладі моделі функціонування багатопоточності в мові програмування Java за шаблоном "виробники/споживачі" з використанням комбінації методів wait()/notify().
  Повний текст PDF - 751.711 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Гломозда Д.

    • Бібліографічний опис для цитування:

    Гломозда Д. К. Застосування методу інваріантів до аналізу кольорових мереж Петрі / Д. К. Гломозда // Наукові записки НаУКМА. Комп'ютерні науки. - 2015. - Т. 177. - С. 44-52. - Режим доступу: http://nbuv.gov.ua/UJRN/NaUKMAkn_2015_177_12.
    Додаткова інформація про автора(ів) публікації:
    (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
  • Гломозда Дмитро Костянтинович (фізико-математичні науки)
    •   Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського