Now showing items 1-1 of 1

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

      Зайцев, Д.А.; Zaytcev, D.A. (ОНАЗ ім. О.С. Попова, 2004)
      Доказана инвариантность модели Петри для фаз установления соеди-нения и разъединения протокола TCP. Выполнена декомпозиция модели Петри на функцио-нальные подсети. Вычисление инвариантов осуществлено в процессе последовательной ...