Оценка безопасности сети Петри. Сеть считается безопасной

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

Для просмотра статистики ответов нужно залогиниться.