<<
>>

Сети Петри.

Эти сети применяются при структуризации причинных связей и моделировании систем с параллельными процессами [7,8,15]. Их расширения и обобщения являются математическими моделями, построенными в рамках определенной концепции структуризации.
Они представляют системы в виде совокупности параллельных процессов, взаимодействующих на основе синхронизации событий или распределения общих ресурсов для нескольких процессов. Каждый процесс в рамках этой концепции представляется в виде логически обусловленных не упорядоченных по времени причинно-следственных цепочек условий и событий.

При разработке структур моделей дискретных систем можно использовать данные о логической взаимосвязи наблюдаемых в системе событий и условий, которые определяют наступление этих событий, как базовую информацию. В некоторых реальных системах нельзя точно указать момент времени наступления событий. Но имеется сложная система причин и следствий. Точное знание моментов времени реализации событий в системе часто можно игнорировать, поскольку такие сведения о событиях, которые происходят в реальных или проектируемых системах, или просто отсутствуют, или их нельзя считать достоверными.

Это объясняется многообразием событий и условий, невозможностью полного их учета и верного описания, а также действием сложной и запутанной системы причин и следствий, определение которых по шкале времени часто не представляется возможным.

Вводятся базовые понятия "Условие" и "Событие", которые могут быть связаны отношением типа "Выполняется после". События выражают действия, реализация которых управляет состояниями системы. Состояния задаются в виде сложных условий. Они формулируются как предикаты с переменными в виде простых условий. Только при достижении определенных состояний (в этом случае соответствующие предикаты принимают истинное значение) обеспечивается возможность действий (наступление событий). Дальнейшим расширением раскрашенных сетей явились предикатные сети.

Они позволяют связать с переходами сетей логические формулы (предикаты), представляющие классы возможных разметок во входных и выходных позициях в соответствии с метками дуг. Эти выражения задают условия отбора необходимых красок для срабатывания переходов.

При разработке имитационной модели из класса расширений сетей Петри, как и для любой другой имитационной модели, выделяются четыре основных этапа: структуризации, формализации и алгоритмизации, программирования модели, а далее проведения имитационных экспериментов с моделью. При структуризации определяются и неоднократно уточняются действующие в системе процессы и используемые ресурсы, множества позиций, которые отображают в модели состояния процессов и ресурсов, и множества переходов (событий), подмножества синхронизирующих переходов (для описания параллельных процессов).

При формализации и алгоритмизации элементов модели для каждой позиции определяются атрибуты. Переход считается формально описанным, если известны множества смежных с этим переходом позиций, условия инициации перехода, схема выполнения, процедура перехода. Условия перехода - есть некоторый предикат, который принимает истинное значение, если реализуется некоторая разметка позиций множества (проверяются атрибуты меток). Схема выполнения определяет изменение разметки позиций сети при срабатывании перехода. Процедура перехода представляет собой правила вычисления атрибутов или добавления меток. Программирование модели связано с описанием позиций и переходов сети, оформляемых с помощью систем программирования или моделирования, например, GPSS.

<< | >>
Источник: Лелюк В. А. . Совершенствование бизнес-систем. Методы, инструментарий, опыт: учебн. пособие. Пер.с укр./ В. А. Лелюк, А. В. Лелюк, Н. П. Пан; Харьк. нац. акад. гор. хоз-ва. - Х: ХНАГХ,2011. - 438 с.. 2011

Еще по теме Сети Петри.:

  1. 6.9.2. СТРУКТУРА СЕТИ
  2. Предпринимательские сети.
  3. 4.4.3. Представление сети потоков
  4. Способы построения сети банкоматов
  5. 2. Корпоративные сети банков
  6. Требования к корпоративной сети банка
  7. МЕНЯЕМ ВАШЕ ПРЕДСТАВИТЕЛЬСТВО В СЕТИ
  8. Сети в действии
  9. Централизованность сети и власть
  10. Франчайзинг сети «Ароматный мир»
  11. Этнические социальные сети
  12. 6.3. ТОПОЛОГИЯ ГЛОБАЛЬНОЙ ВЫЧИСЛИТЕЛЬНОЙ СЕТИ
  13. Построение филиальной сети