61. Динамические свойства сетей Петри.
Они определяются как спецификой поведения позиций, так и особенностями работы переходов.
1. Безопасность.СП безопасна если число фишек в любой её позиции никогда не превышает 1:piPμR(C,μ0) [μ(pi) ≤ 1 ]
2. Ограниченность.СП наз-тсяk-ограниченной, если число фишек в любой её позиции никогда не превышаетk:piPμR(C,μ0) [μ(pi) ≤k]. СП наз-тсяограниченной, если онаk-ограничена для некогоk.
//Свойство безопасности – частный случай свойства ограниченности.
3. Строгая консервативность. (у Питерсона консервативность называется сохранением) Количество фишек в сети постоянное :μR(C,μ0) [μ(pi) =μ0(pi) ] Это очень сильное ограничение. Из св-ва строгой консервативности следует, что число входов в каждый переход должно равняться числу выходов из него. Для «смягчения» этого св-ва можно ввести понятиевзвешиванияфишек (это делается, потому что фишка может представлять как один ресурс, так и несколько). Взвешенная сумма всех достижимых маркировок должна быть постоянной. Фишкам, не являющимся важными, можно присвоить вес 0. Фишка определяется её позицией в сети. Все фишки неразличимы. Следовательно, веса связываются с каждой позицией сети.
Вектор взвешивания f: P → Nn. Этот вектор определяет вес для каждой позиции. (n = |P|)
μR(C,μ0)fNn[fi*μ(pi) =fi*μ0(pi) ] – простоконсервативность.
/* Строго консервативная сеть явл. консервативной по отношению к вектору (1, 1, …, 1). Так что это частный случай консервативности. */
4. Активность. СП активна, если в ней нет тупиковых переходов (т.е. переходов, которые никогда нельзя запустить).
- 49. Сетевая модельная интерпретация. Синтаксис и семантика сетевой объектной модели.
- 50. Динамика поведения сетевой объектной модели. Основные соглашения выполнения сети.
- 51. Предметная интерпретация. Применение сетей Петри.
- 52. Сети Петри: определение, структура, способы задания.
- 53. Маркированные сети Петри. Начальная и текущая маркировки. Активные переходы и понятие селектора. Срабатывание перехода.
- 54. Выполнение сети: неделимость перехода к следующему состоянию. Функция следующего состояния. Дуальность представления асинхронных процессов в терминах сети Петри.
- 55. Система переходов Келлера и сетевая объектная модель асинхронных процессов. Отношение содержательного соответствия между основными понятиями.
- 56. Обобщение функции следующего состояния. Понятие достижимости.
- 57. Области задания и значений обобщенной функции следующего состояния. Отношение достижимости маркировок сети. Свойства отношения достижимости.
- Область значений:
- 58. Множество достижимости сети. Пространство и множество допустимых маркировок.
- 59. Граф достижимости сети Петри. Конечные и неограниченные графы достижимости.
- 60. Глобальные свойства сетевой объектной модели.
- 61. Динамические свойства сетей Петри.
- 62. Уровни активности переходов по Питерсону. (Раевский с.)
- 63. Отношение конфликтности переходов и устойчивые сети Петри.
- 64. Задачи анализа сетей Петри.
- 65. Живые сети Петри – проблема селекции потенциальных тупиков.
- 66. Структурные подклассы обычных сетей Петри.
- 67. Функциональные подклассы обычных сетей Петри.
- 1) Автоматные сети Петри
- 2) Маркированные графы
- 3) Сети свободного выбора
- 4) Правильные сети Петри