Разработка моделей и методов анализа производительности программного обеспечения на основе строго иерархических стохастических сетей Петри