| |
Зайцев, Д. А.
Верификация коммуникационных структур гиперкуба параметрическими сетями Петри [Текст] / Д. А. Зайцев, Т. Р. Шмелева
// Кибернетика и системный анализ. – 2010. – Т. 46, № 1. – С. 119-128.
Побудовано модель комунікаційної структури гіперкуба довільного розміру з довільною кількістю вимірювань в формі параметричної сіті Петрі. Розроблено методику обчислення лінійних інваріантів параметричних сітей Петрі, яка дозволяє проаналізувати процеси передачі інформації в гіперкубі. Вивчено структуру складних тупиків, зумовлених ланцюгом (циклом) блокувань та ізоляцією пристроїв. В реальних мережах подані тупики приводять до суттєвого зниження продуктивності і можуть бути викликані зловмисним трафіком.
|
