ИНВАРИАНТНОСТЬ МОДЕЛИ ПЕТРИ ПРОТОКОЛА TCP

Abstract

Доказана инвариантность модели Петри для фаз установления соеди-нения и разъединения протокола TCP. Выполнена декомпозиция модели Петри на функцио-нальные подсети. Вычисление инвариантов осуществлено в процессе последовательной композиции, что обеспечило существенное ускорение вычислений. Proof of the invariance of Petri net model for connection and disconnection phases of TCP protocol was implemented. Decomposition of Petri net model into functional sub-nets was realized. Calculation of invariants was implemented in the process of sequential composi-tion, which allows the essential acceleration of computations.