Струйный принтер

Контрольная работа - Компьютеры, программирование

Другие контрольные работы по предмету Компьютеры, программирование

?и интерпретируем множество ситуаций асинхронного процесса как множество допустимых разметок сети Петри. В качестве исходного возьмем асинхронный процесс P1 из 2, представленный графом отношения непосредственного следования, в котором ситуации структурированы:

 

 

Построим таблицу допустимых разметок R (N) для сети Петри.

Ситуацииp1p2p3R (N) s11011M1s12010M2s13100M3s14101M4s15001M5

Сеть Петри

Построим сеть Петри, соответствующую данному асинхронному процессу с начальной разметкой M1:

 

 

Граф разметок и дерево достижимости

 

Граф разметок будет выглядеть аналогично отношению непосредственного следования:

 

 

Дерево достижимости сети Петри:

 

6. Анализ свойств сети Петри

 

Свойства позиций

1.Ограниченность. Каждая позиция p сети Петри является ограниченной, т.к. " p справедливо M (p) n, где n = 1, M (p) - функция, возвращающая количество фишек в позиции p. Следовательно, сеть в целом является ограниченной. Об ограниченности можно также судить по дереву достижимости, а именно, сеть является ограниченной, т.к. символ w отсутствует в ее дереве достижимости.

2.Безопасность. Каждая позиция p сети Петри безопасна, т.к. " p справедливо M (p) 1. Следовательно, сеть в целом является безопасной.

3.Консервативность. При работе сети сумма фишек во всех позициях не остается постоянной (1 или 2 фишки), т.е. не выполняется условие консервативности: " M1, M2 R (N) справедливо . Следовательно, сеть не является консервативной.

Свойства переходов

1.Живость. Сеть Петри называется живой, если все ее переходы живы. Переход называется живым, если он является потенциально живым при любой достижимой в сети разметке. И, наконец, переход называется потенциально живым при разметке M, если $ разметка M' R (N), достижимая в сети N от разметки M / M' F (p,t). Таким образом, наша сеть не является живой, т.к. $ переход t12, который не является потенциально живым при разметке M5.

2.Устойчивость. Переход называется устойчивым, если он может сработать, и никакой другой переход не может, сработав, лишить его этой возможности. Сеть называется устойчивой, если все ее переходы устойчивы. Для нашей сети $ переходы t24 и t23, которые не являются устойчивыми, в частности при разметке M2. Таким образом, сеть не является устойчивой.

Выводы:

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

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

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

Заключение

 

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

На основе реального физического процесса - печать листа на струйном принтере - была построена метамодель "асинхронный процесс". Был проведен анализ свойств процесса.

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

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

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

Литература

 

1.Курс лекций по курсу "Теория вычислительных процессов" преподавателя кафедры ВМ и ПО ЭВМ МГТУ Лазаревой И. М.

2.Автоматное управление асинхронными процессами в ЭВМ и дискретных системах. / Под ред. Варшавского.

.Питерсон Дж. Теория сетей Петри и моделирование систем. - М.: Наука, 1984.

.Гордеев А.В. Системное программное обеспечение: учеб. / Гордеев А.В., Молчанов А.Ю. - СПб.: Питер, 2001.