ПКС_2012
Задачи достижимости и покрываемости сети Петри.
Задача достижимости. Для заданной сети Петри C с маркировкой и маркировки определить, верно ли, что .
Задача достижимости является одной из важнейших при анализе сетей Петри. Многие другие задачи анализа можно сформулировать в ее терминах.
Для сети Петри с рис. 4.6 тупик может возникнуть, если достижимым является состояние (0, 1, 0, 0, 0, 0, 1, 0).
Задача покрываемости. Для данной сети Петри C с начальной маркировкой и маркировки определить, существует ли такая достижимая маркировка , что .
Содержание
- Классификация параллельных кс по структурно-функциональным признакам.
- Классификация параллельных кс по функциональным возможностям кс с точки зрения пользователя
- Проведите сравнительный анализ классификаций компьютерных систем.
- Мультикомпьютеры, кластеры и симметричные мультипроцессоры общая характеристика, схемы построения, особенности каждой из систем, области применения.
- Системы с распределенной и разделяемой памятью, массово-параллельные системы общая характеристика, схема построения, особенности каждой из систем, области применения.
- Преимущества архитектуры
- Недостатки архитектуры
- Основные понятия теории моделирования параллельных кс. Методы моделирования параллельных кс.
- Задачи моделирования параллельных кс.
- Приведите основные принципы моделирования.
- Моделирование параллельных процессов. Применение аппарата сетей Петри.
- Подклассы сетей Петри:
- Применение сетей Петри для синтеза дискретных управляющих устройств.
- Оценочные или е-сети как расширение сетей Петри
- Моделирование конвейерной обработки информации
- Свойства сохранения и активности сети Петри
- Свойство достижимости и покрываемости сети Петри.
- Свойство безопасности и ограниченности сети Петри.
- Анализ сетей Петри матричным методом
- Матричный метод анализа сетей Петри достоинства и недостатки метода
- Задачи достижимости и покрываемости сети Петри.
- Границы возможности моделирования с помощью сетей Петри
- Подклассы сетей Петри:
- Маркированные графы подкласс сетей Петри
- Сети Петри и их особенности
- Разбиения чисел. Основные понятия и определения. Принцип Дирихле.
- Вложимость разбиений.
- Ранговое условие вложимости; пример использования.
- Принцип полного размещения; пример использования.
- Вложимость с ограничениями; пример использования.
- Особенностью распределения памяти в кс с сегментной организацией программ и данных (модель 2). Приведите пример.
- Комбинаторная модель для оценки необходимого размера памяти кс (модель 4). Приведите пример.
- Комбинаторная модель, позволяющая произвести расчет оценки сверху необходимого размера оперативной памяти кс.
- Диаграммы Ферре и инверсия в бинарных последовательностях
- Надежность кольцевой структуры кс (для сети [n,2]).
- Надежность сети кс.
- Связанные случайные величины
- Детерминированные меры живучести для многополюсных сетей
- Матричная теорема о деревьях для графов (пример)
- Теорема Кирхгофа-Трента
- Каркасы в ориентированных графах
- Надежность сети относительно одного источника и многих стоков