Студопедия

Главная страница Случайная лекция


Мы поможем в написании ваших работ!

Порталы:

БиологияВойнаГеографияИнформатикаИскусствоИсторияКультураЛингвистикаМатематикаМедицинаОхрана трудаПолитикаПравоПсихологияРелигияТехникаФизикаФилософияЭкономика



Мы поможем в написании ваших работ!




Временные сети Петри

Цели:

1. Уяснить основы применения временных сетей Петри

2. Уяснить правила изменения динамического компонента сети - маркировки.

 

Вопросы:

1. Временные сети Петри с приоритетами.

2. Временные сети Петри с задержками.

3. Модель системы передачи данных в виде сетей Петри.

1. Временные сети Петри с приоритетами

Классический подход к динамическим системам характеризуется, прежде всего, тем, что в нем рассматривается действие причинно-следственных связей во времени. В сетях Петри до настоящего рассмотрения время в явном виде не просматривалось. Но время в философском плане есть форма бытия материи, выражающая, с одной стороны, длительность бытия, а с другой - последовательность смены состояния, упорядоченность процессов в реальном мире.

Для явного выражения времени в СП рассматривают два основных случая.

Временные сети Петри с приоритетами в запуске переходов и временные сети Петри с задержками маркеров в позициях и переходах.

В временных сетях с приоритетами в первую очередь для переходов устанавливается приоритеты, которые «работают» в случае конфликтной, в классическом стиле, ситуации: т.е. из всех разрешенных переходов запускается тот, приоритет которого наивысший. И, как правило, кратность входной позиции численно связывают с отрезком времени. Например: для фрагмента рис.1.

- интенсивность появления сообщения,

- среднее время формирования сообщения.

- кратность входной позиции.

 
 

 

 


 

Рассмотрим пример. Пусть . Однократный запуск перехода совершается за 1 такт (допустим, такт равен 1 сек.). Начальное состояние: , разрешен .

1 такт разрешен

2 такт разрешен

9 такт разрешен и . Поскольку приоритет t2 больше приоритета t3, запускается t2. После этого процесс может повторяться сколь угодно раз.

 


<== предыдущая страница | следующая страница ==>
Решение систем алгебраических уравнений | Временные сети Петри с задержками

Дата добавления: 2014-12-09; просмотров: 345; Нарушение авторских прав




Мы поможем в написании ваших работ!
lektsiopedia.org - Лекциопедия - 2013 год. | Страница сгенерирована за: 0.003 сек.