|
|||||||
АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция |
Основные задачи анализа сетей ПетриКонечная цель теории СП – автоматический анализ свойств сетей, их автоматический синтез, а также преобразования, которые позволяют строить практические алгоритмы анализа, синтеза и преобразований дискретных систем, моделируемых сетями. Задачи достижимости и покрываемости
Задачи эквивалентности Одной из важных задач при использовании сетей Петри является уменьшение размеров сети, в частности, с целью увеличения параллелизма, уменьшения стоимости реализации. Функционирование сети Петри описывается либо множеством достижимости, либо множеством последовательностей запусков. В связи с этим задачи можно сформулировать следующим образом: 1) Требуется выяснить, имеются ли в маркированной сети Петри пассивные переходы и пассивные позиции (которые никогда не будут иметь фишек), и удалить их вместе с входными и выходными дугами. 2) Пусть две маркированные сети Петри имеют одинаковое число переходов, причем между переходами первой и второй сети установлено взаимно-однозначное соответствие (количество позиций может совпадать, а может не совпадать). Требуется показать, что между множествами последовательностей запусков переходов сетей имеется взаимно-однозначное соответствие. 3) Пусть две маркированные сети Петри имеют одинаковое число позиций, причем между позициями первой и второй сети установлено взаимно-однозначное соответствие (количество переходов может совпадать, а может не совпадать). Требуется показать, что между множествами достижимости сетей имеется взаимно-однозначное соответствие. По сути, все эти задачи связаны с преобразованием исходной сети в новую сеть, которая в определенном смысле эквивалентна исходной, но возможно, имеет другую структуру. Поиск по сайту: |
Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Студалл.Орг (0.005 сек.) |