33632

Графические модели

Доклад

Информатика, кибернетика и программирование

Графические модели сети Петри которые позволяют построить модели дискретных систем. Определение: Сеть Петри это набор N =STFWM0 где S непустое множество элементов сети называемое позициями T непустое множество элементов сети называемое переходами отношение инцидентности а W и M0 две функции называемые соответственно кратностью дуг и начальной разметкой. Если п 1 то в графическом представлении сети число n выписывается рядом с короткой чертой пересекающей дугу. Часто такая дуга будет также заменяться пучком из п...

Русский

2013-09-06

44 KB

2 чел.

51. Графические модели

сети Петри, которые позволяют построить модели дискретных систем.

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

Определение: Сеть Петри это набор N =(S,T,F,W,M0), где S — непустое множество элементов сети, называемое позициями, T — непустое множество элементов сети, называемое переходами, - отношение инцидентности, а W и M0  — две функции, называемые соответственно кратностью дуг и начальной разметкой.

Первая сопоставляет каждой дуге число п > 0 (кратность дуги). Если п>1, то в графическом представлении сети число n выписывается рядом с короткой чертой, пересекающей дугу. Часто такая дуга будет также заменяться пучком из п дуг, соединяющих соответствующие элементы сети. Условимся никак не отмечать кратность дуг, равную 1. Вторая функция сопоставляет каждой позиции  некоторое число М0 (s)  N (разметка позиции).

В графическом представлении сети разметка позиции s изображается помещением в вершину-кружок числа М0(s) или, если это число невелико, соответствующего числа точек (маркеров).

Разметка сети N — это функция М: S N. Если предположить, что все позиции сети N строго упорядочены каким-либо образом, т.е. S = (s1,... ,sn), то разметку М сети (в том числе начальную разметку) можно задать как вектор чисел М = (m1, . . ., mn) такой, что для любого i, , mi = M(si).

На основе отношения инцидентности F и функции кратности дуг W можно ввести функцию инцидентности , которая определяется:

 F(x,y) = если  

Если позиции сети упорядочены, то можно каждому переходу t сопоставить два целочисленных вектора 'F(t) и F'(t) длиной n, где  n = | S |:

'F(t) = (b1, . . . ,bn),  где bi=F(si,t),

F'(t)  = (b1, . . . ,bn),  где bi=F(ti,s),

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

М'F(t).

Срабатывание перехода t при разметке M порождает разметку М' последующему правилу:

M'(s)=M(s) - F(s,t) + F(t,s),  т.е.

М'=М - 'F(t) + F'(t).

Таким образом, срабатывание перехода t изменяет разметку так, что разметка каждой её входной позиции s уменьшается на F(s,t), т.е. на кратность дуги, соединяющей s и t, а разметка каждого его выходного места увеличивается на F(t,s) , т.е. на кратность дуги, соединяющей t и s.

Сети Петри позволяют моделировать сложные параллельные процессы и часто используются для моделирования систем защиты ВС.

Среди достоинств аппарата сетей Петри можно указать следующие:

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

Как математическая модель сети Петри занимают промежуточное положение между конечным автоматом и машинами Тьюринга. При этом по выразительной мощности они значительно богаче автоматов и приближаются к машинам Тьюринга.

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

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

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


 

А также другие работы, которые могут Вас заинтересовать

40958. Концепция типов данных 121.5 KB
  C поддерживают концепцию соглашение типов данных которая включает следующие договорённости: каждая переменная константа выражение функция относятся к некоторому типу; тип объекта либо определяется по внешнему виду либо задаётся специальным описанием; тип Т определяет множество значений допустимых для данных этого типа множество допустимых операций множество функций определённых для данных этого типа Т. Тип Т = {DomT OPT FunT} { некоторая область памяти её размер способ представления...
40959. Использование двоичного кода 357.5 KB
  Т подходящее имя для обобщенного типа: public clss List T { } public clss LinkedList T { } если к обобщенному типу предъявляются специальные требования например что тип должен реализовывать интерфейс либо наследоваться от определенного класса или же используется два или более обобщенных типа в качестве параметров то следует применять осмысленные имена типов: public delegte void EventHndler TEventrgs object sender TEventrgs e; public delegte TOutput Converter TInput T0utput TInput from; public clss SortedList TKey...
40960. История политической социологии в России 48.5 KB
  Проблемы политического устройства; критика негативов политических отношений в России: произвола и бесправия масс; выдвижение идей демократизации общественнополитической жизни в трудах А. Социальнополитические программы и конституционные проекты демократического преобразования политического строя России политических лидеров и деятелей XIX начала XX веков Т. Основоположение ихлитической социологии как самостоятельной науки в России русский ученый М.
40961. Адреса ячеек в Excel 41 KB
  В Excel предусмотрен также удобный способ ссылки на ячейку путём присваивания этой ячейке произвольного собственного имени. Имена присваиваются ячейкам или диапазонам ячеек для придания наглядности вычислениям в таблице и удобства работы например собственными именами можно обозначать постоянные величины коэффициенты константы которые используются при выполнении Присвоить ячейке собственное имя или удалить имя можно с помощью команды ВСТАВКА Имя Присвоить или используя поле имени: Выделить ячейку или диапазон ячеек Щелкнуть...
40962. Слово і його значення. 173.5 KB
  Cyчcна ceмнтика грунтується на тких пpинципах: l cyтнicть як нзивєтьcя лeкcичним знчeнням це не нyкoвe пoняття пpo вiдпoвiднy piч звичйнe пoняття мoвця що iнкoли сyпpoвoджyєтьcя вжливими eмoцiйними oзнкми; 2 ця cyтніcть пoвинн вивoдитиcя із змicтoвнoгo тлyмчeння cлoв що гpyнтyєтьcя на ocнoвi мoвнoї oдиницi з її cтpyктypними влcтивocтями; 3 cлoв y мoвнoмy пoтoцi пoєднyютьcя не дoвiльно в злeжнocтi від їх знчeнь y вiдпoвiднocтi з лeкcичними i кoнcтpyктивними oзнкми які oбмeжyють i peгyлюють cпoлyчyвнicть.
40963. Анализ ИС-аналогов 117 KB
  Реализация навигационной схемы проекта Возможности инструментальных средств поддержки разработки обеспечившие авторский вид проекта Разработать сценарии к каждому разделу дипломного проекта. Провести юзабилити тестирование проекта с целью выявления и устранения недостатков.
40964. Электрические сети 15.55 MB
  Энергетической системой называют совокупность электрических станций, электрических и тепловых сетей и потребителей электрической и тепловой энергии, объединенных между собой и связанных общностью режима.
40965. Фонетика и графика. Гласные звуки в английском языке 896 KB
  Язык существует в сознании его носителей, в памяти тех, кто знает этот язык. Прежде всего, в сознании его “природных” носителей, знающих его с детства. Подумаем, как возникает язык в сознании каждого отдельного человека. Конечно, он не является врожденным, передающимся по наследству, как передаются черты лица, особенности характера, да и вся биологическая организация человека.
40966. Выражения. Значения выражений. 174 KB
  Первичное выражение создания не массива: литерал простое имя выражение в скобках доступ к члену выражение вызова метод доступа к элементу доступ через this доступ к базовому объекту выражение после инкремента выражение после декремента выражение создания объекта выражение создания делегата выражение typeof выражение checked выражение unchecked выражение значения по умолчанию Простые имена Просто имя состоит из идентификатора за которым может следовать список аргументов типа: простое имя: индетификатор список аргументов типанеобязательно...