Анализ и визуализация: Стохастическая сеть Петри