SMS dit: Применение стохастических сетей Петри к анализу надёжности технических систем