51. Предметная интерпретация. Применение сетей Петри.
Вода (нах* не надо):
Сети Петри применяются исключительно в моделировании. Сети Петри разрабатывались специально для моделирования тех систем, которые содержат взаимодействующие параллельные компоненты. Возможно неск. путей практического применения сетей Петри при проектировании и анализе систем: 1) СП рассматриваются как вспомогательный инструмент анализа (сначала юзаются обычные методы проектирования, а затем посторенная система моделируется сетью Петри, модель анализируется, если есть трудности при анализе => надо модифицировать проект, который затем снова моделируется СП); 2) Весь процесс моделирования проходит в терминах СП (в этом случае должны быть разработаны методы реализации СП системами).
Прикладная теория СПсвязана с примененнием СП к моделированию и анализу систем.
Чистая теория СПзанимается разработкой основных средств, методов и понятий, необходимых для применения СП.
Правильный ответ:
| Семафор, реализующий принцип взаимного исключения. Управление доступом к критическим секциям 2-х процессов осуществляется таким образом, что оба пр-сса не могут одновременно выполнять свои критические секции. Это решение задачи взаимного исключениясетью Петри. Такая задача возникает, когда 2 пр-сса разделяют какой-нить общий ресурс. | |
|
|
Задача о производителе/потребителе. Процесс-производитель создаёт объекты, которые помещаются в буфер, а потребитель ожидает, пока объект не будет помещён в буфер, удаляет его оттуда и использует. Можно ещё добавить позицию, которая будет выходной для перехода «использовать» и входной для перехода «поместить в буфер». Тогда это будет канал с квитированием. |
|
|
Параллелизм.Одним из возможных механизмов параллелизма явл. механизм с операциямиFORKиJOIN, используемый вUnix-е. ОперацияFORKj, выполняемая в предложенииi, приводит к выполнению текущего пр-сса, начиная с предложения (i+1), и вновь созданного пр-сса – с предложенияj. ОперацияJOINобъединяет 2 пр-сса в 1 или, что равнозначно, уничтожает 1 из них. |
- 49. Сетевая модельная интерпретация. Синтаксис и семантика сетевой объектной модели.
- 50. Динамика поведения сетевой объектной модели. Основные соглашения выполнения сети.
- 51. Предметная интерпретация. Применение сетей Петри.
- 52. Сети Петри: определение, структура, способы задания.
- 53. Маркированные сети Петри. Начальная и текущая маркировки. Активные переходы и понятие селектора. Срабатывание перехода.
- 54. Выполнение сети: неделимость перехода к следующему состоянию. Функция следующего состояния. Дуальность представления асинхронных процессов в терминах сети Петри.
- 55. Система переходов Келлера и сетевая объектная модель асинхронных процессов. Отношение содержательного соответствия между основными понятиями.
- 56. Обобщение функции следующего состояния. Понятие достижимости.
- 57. Области задания и значений обобщенной функции следующего состояния. Отношение достижимости маркировок сети. Свойства отношения достижимости.
- Область значений:
- 58. Множество достижимости сети. Пространство и множество допустимых маркировок.
- 59. Граф достижимости сети Петри. Конечные и неограниченные графы достижимости.
- 60. Глобальные свойства сетевой объектной модели.
- 61. Динамические свойства сетей Петри.
- 62. Уровни активности переходов по Питерсону. (Раевский с.)
- 63. Отношение конфликтности переходов и устойчивые сети Петри.
- 64. Задачи анализа сетей Петри.
- 65. Живые сети Петри – проблема селекции потенциальных тупиков.
- 66. Структурные подклассы обычных сетей Петри.
- 67. Функциональные подклассы обычных сетей Петри.
- 1) Автоматные сети Петри
- 2) Маркированные графы
- 3) Сети свободного выбора
- 4) Правильные сети Петри