![]() Полезное:
Как сделать разговор полезным и приятным
Как сделать объемную звезду своими руками
Как сделать то, что делать не хочется?
Как сделать погремушку
Как сделать так чтобы женщины сами знакомились с вами
Как сделать идею коммерческой
Как сделать хорошую растяжку ног?
Как сделать наш разум здоровым?
Как сделать, чтобы люди обманывали меньше
Вопрос 4. Как сделать так, чтобы вас уважали и ценили?
Как сделать лучше себе и другим людям
Как сделать свидание интересным?
![]() Категории:
АрхитектураАстрономияБиологияГеографияГеологияИнформатикаИскусствоИсторияКулинарияКультураМаркетингМатематикаМедицинаМенеджментОхрана трудаПравоПроизводствоПсихологияРелигияСоциологияСпортТехникаФизикаФилософияХимияЭкологияЭкономикаЭлектроника
![]() |
Анализ свойств сети Петри выполняется на основе ее дерева достижимости.Алгоритм построения дерева достижимости: Пусть - если - если на пути от корневой вершины к - в противном случае значение Вершина На рисунке 4.9 изображен пример построения дерева достижимости сети Петри.
Рисунок 4.9 – Построение дерева достижимости сети Петри Проверка свойств сети Петри по дереву достижимости. Сеть Петри является ограниченной тогда и только тогда, когда в её дереве достижимости отсутствует символ Проверка сети Петри на тупиковые состояния по дереву достижимости не требует пояснений (неконечные состояния не должны быть тупиковыми). Сеть Петри содержит "ловушку" тогда, и только тогда, когда на ее дереве имеется простой путь (цепочка вершин, в которой из каждой вершины исходит только одна дуга), начинающийся и заканчивающийся дублирующими вершинами и не содержащий корневую вершину.
|