Оглавление - Программный комплекс верификации алгоритмов программного обеспечения с помощью иерархических сетей Петри