Статья Применение сетей Петри для моделирования и верификации протоколов обеспечения транспортной безопасности Юдаев В. ., Зубков Б. .