Вид документа:

Кваліфікаційна робота здобувача вищої освіти
АПОТ
Раков К. В. Моделі та методи аналізу мережевих протоколів на базі мереж Петрі : магістерська атестаційна робота, пояснювальна записка / К. В. Раков ; кер. роботи проф. Немченко В.П. ; ХНУРЕ, Кафедра Автоматизації проектування обчислювальної техніки. – Харків, 2014. – 79 с. : CD


Статистика використання: Видач: 0

Анотація:
В этой работе рассмотрены темы связаные с созданием моделей и анализа протоколов с помощью сетей Петри, создана модель протоколов TCP, BGP, HTTP, была показана полезность использования сетей Петри, как инструмента моделирования
Ключевые слова: СЕТИ ПЕТРИ, МОДЕЛИ, ПРОТОКОЛЫ, TCP, БАЗА ЗНАНИЙ.


У цій роботі розглянуті теми пов'язані із створенням моделей і аналізу протоколів за допомогою мереж Петрі, створена модель протоколу TCP, BGP, HTTP, була показана корисність використання мереж Петрі, як інструменту моделювання
Ключові слова: МЕРЕЖІ ПЕТРІ, МОДЕЛІ, ПРОТОКОЛИ, TCP, БАЗА ЗНАНЬ.



In this paper we consider the theme tied to the creation of models and protocol analysis with Petri nets, created a model protocol TCP, BGP, HTTP, was shown the usefulness of Petri nets as modeling tool.
Keywords: Petri Nets, MODELS AND PROTOCOLS, TCP, Knowledge Base.