Применение теории сетей Петри для моделирования типовых программных атак на распределенные вычислительные системы УВДстатья