Струйный принтер
Контрольная работа - Компьютеры, программирование
Другие контрольные работы по предмету Компьютеры, программирование
?и интерпретируем множество ситуаций асинхронного процесса как множество допустимых разметок сети Петри. В качестве исходного возьмем асинхронный процесс 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.