Верификация коммуникационных структур гиперкуба параметрическими сетями Петри / Зайцев Д. А., Шмелёва Т. Р. (2010)
Ukrainian

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000469659
  Кибернетика и системный анализ      А - 2019  /     Випуск (2010, Т. 46, № 1)

Зайцев Д. А., Шмелёва Т. Р.
Верификация коммуникационных структур гиперкуба параметрическими сетями Петри

Побудовано модель комунікаційної структури гіперкуба довільного розміру з довільною кількістю вимірювань в формі параметричної сіті Петрі. Розроблено методику обчислення лінійних інваріантів параметричних сітей Петрі. Проаналізовано процеси передачі інформації в гіперкубі. Вивчено структуру складних тупиків, зумовлених ланцюгом (циклом) блокувань та ізоляцією пристроїв. В реальних мережах надані тупики призводять до суттєвого зниження продуктивності та можуть бути викликані зловмисним трафіком.

Бібліографічний опис:
Зайцев Д. А., Шмелёва Т. Р. Верификация коммуникационных структур гиперкуба параметрическими сетями Петри. Кибернетика и системный анализ. 2010. Т. 46, № 1. С. 119-128. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000469659

English  Cybernetics and Systems Analysis   /     Issue (2010, 46 (1))

translit Transliteration

Zajtsev D. A., Shmeljova T. R.
Verifikatsija kommunikatsionnykh struktur giperkuba parametricheskimi setjami Petri

Cite:
Zajtsev, D. A., Shmeljova, T. R. (2010). Verifikatsija kommunikatsionnykh struktur giperkuba parametricheskimi setjami Petri. Cybernetics and Systems Analysis, 46 (1), 119-128 http://jnas.nbuv.gov.ua/article/UJRN-0000469659 [In Russian].

 

Інститут інформаційних технологій НБУВ

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна