Архитектура Аудит Военная наука Иностранные языки Медицина Металлургия Метрология
Образование Политология Производство Психология Стандартизация Технологии


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



 

 

Рис. 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 с.

 


Поделиться:



Популярное:

Последнее изменение этой страницы: 2017-03-03; Просмотров: 787; Нарушение авторского права страницы


lektsia.com 2007 - 2024 год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! (0.103 с.)
Главная | Случайная страница | Обратная связь