62. Уровни активности переходов по Питерсону. (Раевский с.)
Существуют другие, связанные с активностью понятия, которые рассматривались при изучении тупиков. Их можно разбить на категории по уровню активности и определить для сети Петри с маркировкойследующим образом:
Уровень 0:Переход обладаетактивностью уровня 0, если он никогда не может быть запущен.
Уровень 1:Переход обладаетактивностью уровня 1если он потенциально запустим, т. е. если существует такая, что разрешен в.
Уровень 2:Переход обладаетактивностью уровня 2, если для всякого целогоп существует последовательность запусков, в которой присутствует по крайней мереп раз.
Уровень 3:Переход обладаетактивностью уровня 3, если существует бесконечная последовательность запусков, в которой присутствует неограниченно часто.
Уровень 4:Переход обладаетактивностью уровня 4, если для всякойсуществует такая последовательность запусков, что разрешен в.
Переход, обладающий активностью уровня 0, называется пассивным. Переход, обладающий активностью уровня 4, называетсяактивным. Сеть Петри обладает активностью уровня, если каждый ее переход обладает активностью уровня.
Пример:
- 49. Сетевая модельная интерпретация. Синтаксис и семантика сетевой объектной модели.
- 50. Динамика поведения сетевой объектной модели. Основные соглашения выполнения сети.
- 51. Предметная интерпретация. Применение сетей Петри.
- 52. Сети Петри: определение, структура, способы задания.
- 53. Маркированные сети Петри. Начальная и текущая маркировки. Активные переходы и понятие селектора. Срабатывание перехода.
- 54. Выполнение сети: неделимость перехода к следующему состоянию. Функция следующего состояния. Дуальность представления асинхронных процессов в терминах сети Петри.
- 55. Система переходов Келлера и сетевая объектная модель асинхронных процессов. Отношение содержательного соответствия между основными понятиями.
- 56. Обобщение функции следующего состояния. Понятие достижимости.
- 57. Области задания и значений обобщенной функции следующего состояния. Отношение достижимости маркировок сети. Свойства отношения достижимости.
- Область значений:
- 58. Множество достижимости сети. Пространство и множество допустимых маркировок.
- 59. Граф достижимости сети Петри. Конечные и неограниченные графы достижимости.
- 60. Глобальные свойства сетевой объектной модели.
- 61. Динамические свойства сетей Петри.
- 62. Уровни активности переходов по Питерсону. (Раевский с.)
- 63. Отношение конфликтности переходов и устойчивые сети Петри.
- 64. Задачи анализа сетей Петри.
- 65. Живые сети Петри – проблема селекции потенциальных тупиков.
- 66. Структурные подклассы обычных сетей Петри.
- 67. Функциональные подклассы обычных сетей Петри.
- 1) Автоматные сети Петри
- 2) Маркированные графы
- 3) Сети свободного выбора
- 4) Правильные сети Петри