Модельная интерпретация асинхронного процесса с помощью сети Петри
Модельная интерпретация асинхронного процесса с помощью сети Петри - раздел Философия, ТЕОРИЯ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ Ситуациями В Сети Является Начальная Разметка М0 И Все Разметки, Д...
Ситуациями в сети является начальная разметка М0 и все разметки, достижимые от М0, т.е. МÎR(À). Ситуация-инициатор – начальная разметка, результанты – множество конечных разметок.
Отношение F для любой возможной разметки М задает все разметки, которые могут непосредственно следовать за М.
Очевидно, что на множестве R(À) можно определить отношение эквивалентности разметок и задать отношение F непосредственного следования для классов эквивалентности.
Если для некоторой сети À существует единственный класс эквивалентности, то соответствующий сети АП является автономным.
Если классов разметок больше (>1), то можно выделить подмножество разметок инициаторов (в которые всегда входит начальный класс эквивалентности) и множество разметок результантов (в которые обязательно входит ходя бы один заключительный класс).
Пример 2.2. Рассмотрим сеть Петри на рис.2.5.
p1
p3
p2
Рис.2.5. Сеть Петри в примере 2.2.
Если обозначить разметку перечислением условий, содержащих точки, то Р = <S, F, I, R >:
S = {P1P2, P3},
F = {(P1P2 , P3)},
I = { P1P2}, R = { P3}.
Конец примера.
Тема 2.2. Анализ сетей Петри
Моделирование систем сетями Петри, прежде всего, обусловлено необходимостью проведения глубокого исследования их поведения. Для проведения такого исследования необходимы методы анализа свойств самих сетей Петри. Этот подход предполагает сведения исследования свойств реальной системы к анализу определённых свойств моделирующей сети Петри.
ПО РЫБОЛОВСТВУ... ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ ОБРАЗОВАТЕЛЬНОЕ... УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ МУРМАНСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ...
Тема 1.1. Понятие вычислительного процесса. Основные свойства
Современные системы управления содержат важный подкласс систем – управляющие устройства, осуществляющие координацию процессов с конечном множеством состояний.
Работа таких устройств описыв
Репозиция процесса
В рамках введенных выше понятий и определений не уточнялся механизм перехода от результантов к инициаторам. Между тем, описание такого механизма необходимо для получения эффекта возобновления АП, е
Редукция процесса
Операция редукции состоит в сведении данного АП к более простому.
Такая операция необходима тогда, когда из полного описания процесса хочется выделить некоторую его
Композиция процессов
Рассмотрим два АП: процесс P1 = <S1, F1, I1, R1> (необязательно приведенный) и приведенный процесс P2п = <S
Свойства сетей Петри
Свойства условий: ограниченность и безопасность
Из определения правил срабатывания переходов сети следует, что для реализации события достаточно, чтобы каждое его входное условие им
Дерево достижимости
Дерево достижимости (другое название покрывающее дерево) представляет все достижимые маркировки сети Петри, а также – все возможные последовательности запусков её переходов.
Для любой сети
Анализ безопасности и ограниченности
Утверждение 1. Сеть Петри ограниченна тогда и только тогда, когда символ w отсутствует в её дереве достижимости.
Краткое обоснование. Присутствие символа w в дереве достижимо
Матричные уравнения
Другой подход к анализу сетей Петри основан на матричном представлении сетей Петри и решении матричных уравнений. Альтернативным по отношению к определению сети Петри À в виде пятерки <P,
Блокировка памяти
Все вычислительные машины и системы имеют такое средство для организации взаимного исключения, как блокировка памяти. Это средство запрещает одновременное использование двух (и более) команд
Понятие тупика. Модель Холта
При параллельном исполнении процессов могут возникать ситуации, при которых два или более процесса все время находятся в заблокированном состоянии. Самым простым является случай, когда каждый из дв
Методы борьбы с тупиками
Проблема тупиков является чрезвычайно серьезной и сложной. В настоящее время разработано несколько подходов и методов разрешения этой проблемы, однако ни один из них нельзя считать панацеей. В неко
Стандартные схемы программ
Определение 5.4. Стандартная схема – это схема программ с памятью, называемая также алголоподобной или операторной схемой.
Исследование стандартных схем соста
Хотите получать на электронную почту самые свежие новости?
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Новости и инфо для студентов