Иерархический метод анализа функционирования программного обеспечения на основе сети Петри