блок предприятий миль

0,92 Mb. страница6/7Дата конвертации29.09.2011Размер0,92 Mb.Тип Смотрите также:           6   ^ Исследование сети Петри на наличие тупиков. Если система имеет решение, то некоторое ее маркирование является тупиком. Здесь E вектор, все элементы которого равны 1 Для рассматриваемого примера:, .Таким образом, приходим к следующей системе: Полученное маркирование (1100) является тупиком, что соответствует графу достижимых маркирований.4.4 Моделирование потоков работ Моделирование потоков работ в реальных системах производят с использованием сетей Петри высокого уровня, например, раскрашенных или вложенных сетей. Во вложенных сетях [18] сетевые фишки имеют свою собственную структуру. Правила срабатывания для них те же, что и для элементарных сетей Петри, при этом после автономного срабатывания перехода элементная сеть с новой разметкой остается в прежней позиции системной сети. Кроме того, во вложенных сетях предусмотрен механизм вертикальной синхронизации срабатывания переходов. Моделируемый процесс представляется сетью Петри. Причем каждый этап его выполнения переходом сети Петри, условие передачи управления позицией сети Петри, информация, использующаяся при выполнении процесса маркерами сети Петри. В качестве математического аппарата часто используются цветные (раскрашенные) иерархические сети Петри. Рассмотрим пример описания работы фрагмента вычислительной системы. Она содержит центральный процессор, три внешних устройства и два канала ввода/вывода и . C каждым каналом связана фишка с соответствующим цветом (именем), представленным определенным символом. При этом внешнее устройство использует канал , устройство использует канал , внешнее устройство каналы и . Рис 4. Раскрашенная сеть ПетриУсловия срабатывания переходов заданы соответствующими таблицами. В сети имеются дополнительные фишки - эти фишки, которые являются внутренними для моделируемой системы.t1 P1 P1 P6 t2 P2 d1 d1 d2 d2 d3 d3 P2 P7 P3 d1 a d2 b d2 a d3 b P3 t4 P4 P4 t5 P5 P6 P7 d1 a d2 a d3 b d3 b P5 t6 В таблице переходов затемненный столбец символизирует переход. Столбцы, расположенные слева от затемненного столбца связываются с входны

Литература введение

Исследование сети Петри на наличие тупиков - Литература введение