![]() КАТЕГОРИИ: Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748) |
Пример 1
Требуется описать с помощью сети Петри работу группы пользователей на единственной рабочей станции WS при заданных характеристиках потока запросов на пользование WS и характеристиках поступающих задач. Сеть Петри представлена на рис. 3. Здесь переходы связаны со следующими событиями:
Рис. 3. Сеть Петри для примера 1 Пример 2 На рис. 4 представлена сеть Петри, соответствующая организации параллельных вычислений на основе асинхронного message passing interface (MPI) [1].
Рис. 4. Сеть Петри для примера 2 Пример 3 Требуется описать с помощью сети Петри процессы возникновения и устранения неисправностей в некоторой технической системе, состоящей из множества однотипных блоков; в запасе имеется один исправный блок; известны статистические данные об интенсивностях возникновения отказов и длительностях таких операций, как поиск неисправностей, замена и ремонт отказавшего блока. Поиск и замену отказавшего блока производит одна бригада, а ремонт замененного блока — другая бригада. Сеть Петри показана на рис. 5. Отметим, что при числе меток в позиции, равном В нашем примере значение Очевидно, что при непустой позиции
Рис. 5. Сеть Петри для примера 3 Рассматриваемая модель описывает функционирование системы в условиях, когда отказы могут возникать и в рабочем, и в неисправном состояниях системы. Поэтому не исключены ситуации, при которых более чем один маркер окажется в позиции Список литературы 1. В.Э.Малышкин. Основы параллельных вычислений. -2003 ЦИТ СГГА, http://www.ssga.ru/metodich/paral1/contents.html
Анализ сетей Петри Анализ сложных систем на базе сетей Петри можно выполнять посредством имитационного моделирования СМО, представленных моделями сетей Петри. При этом задают входные потоки заявок и определяют соответствующую реакцию системы. Выходные параметры СМО рассчитывают путем обработки накопленного при моделировании статистического материала. Возможен и другой подход к использованию сетей Петри для анализа объектов, исследуемых на системном уровне. Он не связан с имитацией процессов и основан на исследовании таких свойств сетей Петри, как ограниченность, безопасность, сохраняемость, достижимость, живость. Ограниченность (или K-ограниченность) имеет место, если число меток в любой позиции сети не может превысить значения Безопасность — частный случай ограниченности, а именно это 1-ограниченность. Если для некоторой позиции установлено, что она безопасна, то ее можно представлять одним триггером. Сохраняемость характеризуется постоянством загрузки ресурсов, т.е. Достижимость Живость сети Петри определяется возможностью срабатывания любого перехода при функционировании моделируемого объекта. Отсутствие живости означает либо избыточность аппаратуры в проектируемой системе, либо свидетельствует о возможности возникновения зацикливаний, тупиков, блокировок. В основе исследования перечисленных свойств сетей Петри лежит анализ достижимости. Один из методов анализа достижимости любой маркировки из состояния Приведем примеры анализа достижимости. Пример 1 Сеть Петри и граф достижимых разметок представлены на рис. 1. На рисунке вершины графа изображены в виде маркировок, дуги помечены срабатывающими переходами. Сеть является неограниченной и живой, так как метки могут накапливаться в позиции
Рис. 1. Сеть Петри и ее граф достижимости для примера 1 Пример 2 Сеть Петри и граф достижимых разметок представлены на рис. 2. Сеть, моделирующая двухпроцессорную вычислительную систему с общей памятью, является безопасной, живой, все разметки достижимы.
Рис. 2. Сеть Петри и ее граф достижимости для примера 2 Пример 3 На рис. 3 представлены сеть Петри и ее граф достижимости из работы [1].
Рис. 3. Сеть Петри и ее граф достижимости для примера 3 Список литературы 1. В.Э.Малышкин. Основы параллельных вычислений. -2003 ЦИТ СГГА, http://www.ssga.ru/metodich/paral1/contents.html
Дата добавления: 2014-01-05; Просмотров: 413; Нарушение авторских прав?; Мы поможем в написании вашей работы! Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет |