54. Выполнение сети: неделимость перехода к следующему состоянию. Функция следующего состояния. Дуальность представления асинхронных процессов в терминах сети Петри.
Выполнением СП управляют кол-во и распределение фишек в сети.
Неделимость переходак след. состоянию состоит в том, что изъятие фишек из входных позиций перехода и добавление фишек в его вых. позиции осуществляетсяодновременно.
μ’ →tj 1μ’’→tj 2...→ tj i-1μi→tj iμi+1→ …..→tjpμp
Изменение в состоянии, вызванное запуском перехода, определяется функцией изменения , которая называется функцией следующего состояния.
Функция следующего состояния:δ(μ’,tj)δ: (Z+)n×T→ (Z+)n
Область её определения: S(μ’)T, т.е. ф-я след. состояния определена для каждого разрешённого в данной маркировке перехода и не существует для пассивных переходов.
Дуальностьпредставления АП в терминах СП заключается в том, что:
С 1-ой стороны АП можно рассматривать как кортеж сменяющих друг друга маркировок: μ’μ’’....μp
С др. стороны, АП – это цепочка срабатывающих переходов (представление выполнения действий): tj1,tj2...tjp.
По поводу дуальности можно понтануть и сказать, что пердставление в виде маркировок не эквивалентно представлению в виде переходов, т.к. одинаковые маркировки теоретически можно получить срабатыванием разных переходов.
- 49. Сетевая модельная интерпретация. Синтаксис и семантика сетевой объектной модели.
- 50. Динамика поведения сетевой объектной модели. Основные соглашения выполнения сети.
- 51. Предметная интерпретация. Применение сетей Петри.
- 52. Сети Петри: определение, структура, способы задания.
- 53. Маркированные сети Петри. Начальная и текущая маркировки. Активные переходы и понятие селектора. Срабатывание перехода.
- 54. Выполнение сети: неделимость перехода к следующему состоянию. Функция следующего состояния. Дуальность представления асинхронных процессов в терминах сети Петри.
- 55. Система переходов Келлера и сетевая объектная модель асинхронных процессов. Отношение содержательного соответствия между основными понятиями.
- 56. Обобщение функции следующего состояния. Понятие достижимости.
- 57. Области задания и значений обобщенной функции следующего состояния. Отношение достижимости маркировок сети. Свойства отношения достижимости.
- Область значений:
- 58. Множество достижимости сети. Пространство и множество допустимых маркировок.
- 59. Граф достижимости сети Петри. Конечные и неограниченные графы достижимости.
- 60. Глобальные свойства сетевой объектной модели.
- 61. Динамические свойства сетей Петри.
- 62. Уровни активности переходов по Питерсону. (Раевский с.)
- 63. Отношение конфликтности переходов и устойчивые сети Петри.
- 64. Задачи анализа сетей Петри.
- 65. Живые сети Петри – проблема селекции потенциальных тупиков.
- 66. Структурные подклассы обычных сетей Петри.
- 67. Функциональные подклассы обычных сетей Петри.
- 1) Автоматные сети Петри
- 2) Маркированные графы
- 3) Сети свободного выбора
- 4) Правильные сети Петри