СИНТЕЗ МОДЕЛЕЙ ПЕТРИ ТЕЛЕКОММУНИКАЦИОННЫХ ПРОТОКОЛОВ

Abstract

Представлена методология синтеза моделей Петри телекоммуникационных про-токолов. Выполнен обзор стандартов телекоммуникационных протоколов. В качестве промежуточного языка спецификаций использованы взаимодействующие последовательные процессы Хоара. По-строены методы синтеза конечных автоматов по формуле последовательных процессов и синтеза помеченной сети Петри по формуле взаимодействующих последовательных процессов. Формализо-вана задача синтеза непомеченной сети Петри заданной конечным автоматом. A technique for Petri net models of telecommunication protocols synthesis was pre-sented. A survey of telecommunication protocols' standards was implemented. As an intermediate language of specifications Hoare's communicating sequential processes were used. The methods of finite automata synthesis on formulae of sequential processes and methods of labeled Petri net synthesis on formulae of communicating sequential processes were developed. The task of unlabeled Petri net synthesis given by finite automata was formalized.