| |
Зайцев, Д. А.
Верификация протокола TCP в процессе последовательной композиции модели Петри [Текст] / Д. А. Зайцев
// Зв'язок. – 2006. – № 4. – 49-58.
Для верификации протокола применены инварианты сетей Петри, вычисляемые в процессе последовательной композиции модели из функциональных подсетей, обеспечивающей существенное ускорение вычислений |
