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