Исследование последовательно-параллельных сценариев в сетях Петри и разработка методов их поиска

• Автор: Шакирова, Насима Фаритовна
• Шифр специальности: 05.13.18
• Научная степень: Кандидатская
• Год защиты: 2003
• Место защиты: Москва
• Количество страниц: 170 с. : ил

Работа выполнена на кафедре вычислительной математики Московского физикотехнического института государственного университета. Введение. Определение сети Петри и ее графа переходов. Сеть Петри для интерфейса шины и ее граф переходов. Другое представление внутреннего подграфа. Операция перемешивания. Независимость. Петри. Основные идеи ППметода. Расширение класса применимости ППметода. Регуляризация маркировок. Обоснование регуляризации. Обоснование ППметода. Легко видеть, что матричное представление особенно удобно для отслеживания изменения маркировке в результате срабатывания целых последовательностей переходов, что и будет использоваться в последующих рассмотрениях. В данной работе для анализа поведения сети Петри будут использоваться вспомогательно построение, называемое таблицей переходов, составленной из непосредственно достижимых маркировок. Определение 2. Например, в сети Петри, показанной на рис. Д0I О 0т, показанной на рисунке, являются Р0 1 0т в результате перехода 1 и р2 0 0 1т в результате перехода 3.


Далее в этой строке указываются все непосредственно достижимые из нее маркировки в столбцах соответствующих переходов. Если какаялибо из таких маркировок не была указана в первом столбце исходных маркировок, то таблица пополняется новой строкой для этой маркировки. Таблицу переходов можно представить в виде графа переходов. Для этого каждая маркировка, приведенная в таблице переходов, представляется вершиной, а дуги графа отображают отношение непосредственной достижимости. При этом соответствующие переходы указываются в виде ярлыков ребер. Например, таблица переходов сети Петри, показанной на рис. Соответствующий граф переходов показан на рис. Таблица 2. Таблица переходов сети Петри, показанной на рис. Рис. Граф переходов сети Петри, показанной на рис. Идея разработки метода, предлагаемого в данной работе, возникла при анализе сети Петри, построенной для логики интерфейса шины, используемой в процессоре РоуегРС 3 е построение этой сети приводится в приложении I. Итак, логика интерфейса шины может быть представлена в виде сети Петри РЫВиэ, показанной на рис. Интерпретация позиций и переходов этой сети Петри опускается, и в данной главе эта модель рассматривается как абстрактная сеть Петри без относительно к какойлибо прикладной области. Начальная маркировка сети РМВиБ следующая рар 0ф 1, позиция Р содержит некоторое положительное число фишек, остальные позиции пусты. Нетрудно видеть, что в ходе функционирования модели позиция 1 может содержать неограниченное количество фишек. I. Очевидно, что это приведет к неограниченному количеству достижимых маркировок и неораниченной таблице переходов.