В этой работе рассмотрены темы связаные с созданием моделей и анализа протоколов с помощью сетей Петри, создана модель протоколов 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.
