Чистая СП Простая СП Ординарная СП

Рис. 7.1. Классы Сетей Петри

Сеть Петри со свободным выбором (ССВ) – простая сеть Петри такая, что:

Если ”

ССВ:


			{ }
			{ }

не ССВ:


			{ , }
			{ }

Сеть Петри со свободным выбором (свободна сеть Петри ССВ)) (free choice Petri net; FC – net) – простая сеть Петри, в которой для каждого перехода выполняется одно из следующих условий для любой его входной позиции (рис. 7.2):

– либо - единственная входная позиция перехода (т.е. позиция больше не связана с другими переходами);

– либо, если является входной позицией нескольких переходов

то она является единственной для этих переходов

(т.е. эти переходы больше не связаны ни с какими другими позициями).

Рис. 7.2. Сеть Петри со свободным выбором


			{ , , }
			{ }
			{ }

Конфликтная позиция – позиция , которая является входной для нескольких переходов.

Автоматная сеть Петри (машина конечного состояния) (finite state-machine net ) – простая сеть Петри, в которой каждый переход имеет ровно одну входную и ровно одну выходную позицию.

Автоматная сеть Петри (подкласс ССВ):

Заметим, что данная сеть Петри не является маркированным графом.

Сеть Петри, не являющаяся автоматной сетью Петри:

Данная сеть Петри является маркированным графом.

Маркированный граф (синхрограф) (marked graph ) – простая сеть Петри, каждая позиция которой имеет в точности по одному входному или выходному переходу:

Бесконфликтная сеть Петри (conflict-free Petri net) – ординарная сеть Петри (рис. 4), в которой:

– либо для каждой ее позиции существует не более одной исходящей дуги;

– либо позиция , являющаяся входной позицией более чем для одного перехода, является одновременно и выходной позицией каждого такого перехода.

Рис. 7.3. Бесконфликтная сеть Петри

Правильная сеть Петри (Сеть Петри с Ассиметричным Выбором) – простая сеть Петри такая, что:

Если ”

САВ:


			{ }
			{ , }
			{ }

не САВ:


			{ , }
			{ , }

Расширенная Сеть Петри со Свободным Выбором (РССВ) – простая сеть Петри такая, что:

Если ”

РССВ:

Включения введенных классов простых сетей Петри с помощью диаграмм Вини имеет следующий вид (рис. 7.4):

Простые сети Петри

САВ

РССВ

ССВ

Автоматная Синхрограф

Сеть Петри

Рис. 7.4. Классификация простых Сетей Петри

Приложения сетей Петри

Пример. Многомашинный вычислительный комплекс (МВК) (рис.7.5).

Содержательное описание процесса функционирования МВК:

1. Поступающее в МВК задание обрабатывается в обязательном порядке на под управлением ОС (ОС ).

2. Обработанное на задание должно быть обработано либо на , работающей под управлением ОС , либо на , работающей под управлением ОС .

3. После обработки на или на задание выдается на принтер. Здесь общими ресурсами являются:

– ОС - для машин

– ОС - для машин .

Подсистема 2Подсистема 3

ОС UNIX АРМ на IBM PC

под UNIX

Подсистема 1 Подсистема 6

Сервер на Ус-во вывода на

IBM PC печать (принтер)

(П)

Подсистема 4Подсистема 5

ОС АРМ на IBM PC

под ОС

Рис. 7.5. Система МВК

Пример. Диалоговая система (ДС) в монопольном и многопользовательском режимах (рис. 7.7).

Подсистема 2Подсистема 1

Автоматизированная РО Управляющая

система общения программа

КР Пользователь

РО

Подсистема 3 РОИ

Пакеты прикладных

программ

РА

Подсистема 4

База данных

Рис. 7.7. Система “ДС”

Система “ДС” включает 4 подсистемы и работает в 5 режимах: КР – контрольный режим; РО - режим обучения работе с “ДС”; РО - режим обучения работе с ППП; РОИ – режим обработки информации; РА – режим администрирования базы данных.

Сеть Петри системы “ДС” (рис. 7.8) имеет следующий вид: - пользователь готов работать с ДС; - начало КР; - конец КР (выход из ДС); - ДС в КР; - конец РА; - ДС в РА; - начало РОИ; - ДС в РОИ; - начало РА; - начало РО ; - конец РО ; - начало РО ; - конец РО ; - ДС в РО (РО или РО ); - конец РОИ.

Рис. 7.8. Сеть Петри системы “ДС”

При работе нескольких пользователей с ДС в многопользовательском режиме (рис. 7.9) общими ресурсами являются:

- ОП (оперативная память) – системный ресурс 1, в котором резервируется динамическая память нескольким пользователям;

- БД (общая база данных) – системный ресурс 2, с которым может работать только один пользователь.

Второй пользователь. Первый пользователь.

-ОП; -БД

Рис. 7.9. Работа ДС в многопользовательском режиме

Макромодель Сети Петри для ДС, допускающей работу 3-х пользователей при условии, что системный ресурс 1 (ОП) рассчитан на одновременную работу только 2-х пользователей, а с системным ресурсом 2 (БД) может работать только один пользователь имеет вид (рис. 7.10):

(ОП)

Пользователь 1Пользователь 2Пользователь 3

(БД)

Рис. 7.10. Макромодель Сети Петри для " ДС"

Литература:

Основная литература:

1. Бусленко Н.П. Лекции по теории сложных систем. - М.: Сов. радио, 1973.- 439 с.

2. Бусленко Н.П. Моделирование сложных систем. - М.: Наука, 1978.- 399с.

3. Дегтярев Ю.И. Системный анализ и исследование операций. - М.: Высшая школа, 1996.- 336 с.

4. Клейнрок Л. Вычислительные системы с очередями. - М.: Мир, 1979.- 600с.

5. Моисеев Н.Н. Математические задачи системного анализа. - М.: Наука, 1981.-487 с.

6. Острейковский В.А. Теория систем. - М.: Высшая школа, 1997.- 240 с.

7. Перегудов Ф.И., Тарасенко Ф.П. Введение в системный анализ. - М.: Высшая школа, 1989.- 367 с.

8. Шилейко А.В. и др. Введение в информационную теорию систем. - М.: Радио и связь, 1985.- 278 с.

Дополнительная литература:

1. Вендров А.М. CASE-технологии. Современные методы и средства проектирования информационных систем. - М.: Финансы и статистика, 1998.-176 с.

2. Иванов П.М. Алгебраическое моделирование сложных систем. - М.: Наука, 1996.- 272 с.

3. Калашников В.В. Качественный анализ поведения сложных систем методом пробных функций. - М.: Наука, 1978.- 247 с.

4. Максименко А.В., Селезнев М.Л. Основы проектирования информационно-вычислительных систем и сетей. - М.: Радио и связь, 1991.-320 с.

5. Николаев В.И., Брук В.М. Системотехника: методы и приложения. - Л.: Машиностроение, 1985.- 199 с.

⇐ Предыдущая 9 10 11 12 13 14 15 16 1718