Технология разработки динамической модели ИС

Для описания динамической модели ИС используют атрибутивную сеть Петри. Атрибутивная сеть Петри состоит из множеств элементов пяти типов:

N (P, T, F, W, Mo)

F – отношение инцидентности,

W – функция кратности дуг,

Mo – функция начальной разметки.

F: P * T U T * P

W: P N

Mo: P N

Функция W сопоставляет каждой дуге некоторое число n > 0, а функция Mo сопоставляет каждой позиции некоторое число

Mo(p)N. Динамика поведения моделируемой ИС отображается в функционировании сети в виде совокупности локальных действий, которые называются срабатываниями переходов. Срабатывание соответствует реальным событиям, процессам, которые приводят к изменению разметки позиций т. е. к локальному изменению условий системы.

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

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

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

1) Ограниченность позиций сети и сети в целом;

2) Безопасность позиций сети и сети в целом;

3) Консервативность сети;

4) Живучесть и мёртвость переходов;

5) Живучесть сети;

6) Устойчивость переходов и сети в целом.

Дата добавления: 2014-01-07