Как называются
сети Петри, в которых с помощью специальных алгоритмов задаются
случайные продолжительности срабатывания переходов?