 | |||
 |
 |
Данная сеть Петри является маркированным графом.
Маркированный граф (синхрограф)(marked graph) - простая сеть Петри, каждая позиция 
которой имеет в точности по одному входному или выходному переходу: 
 |  | ||||
 | |||||
Бесконфликтная сеть Петри (conflict-free Petri net) - ординарная сеть Петри (рис. 4), в которой:
– либо для каждой ее позиции существует не более одной исходящей дуги;
– либо позиция , являющаяся входной позицией более чем для одного перехода, является одновременно и выходной позицией каждого такого перехода.
Рис. 5.3. Бесконфликтная сеть Петри
Правильная сеть Петри (Сеть Петри с Ассиметричным Выбором)- простая сеть Петри такая, что:
Если 
”
САВ:
САВ: 
| 
| ||||
|
| { }
| ||||
|
| { , }
| ||||
|
| { }
|
не САВ:
|
|
| ||||
|
| { , }
| ||||
|
| { , }
|
Расширенная Сеть Петри со Свободным Выбором(РССВ) -простая сеть Петри такая,что: Если 
”
РССВ: 
Включения введенных классов простых сетей Петри с помощью диаграмм Вини имеет следующий вид (рис. 5.4):
Простые сети Петри
САВ
РССВ
ССВ
 |
Автоматная Синхрограф
сеть Петри
 |
Рис. 5.4. Классификация простых Сетей Петри
Приложения Сетей Петри
Пример. Многомашинный вычислительный комплекс (МВК) (рис. 5.5).
Содержательное описание процесса функционирования МВК:
1. Поступающее в МВК задание обрабатывается в обязательном порядке на 
под управлением ОС 
(ОС 
).
2. Обработанное на задание должно быть обработано либо на 
, работающей под управлением ОС , либо на 
, работающей под управлением ОС .
3. После обработки на или на задание выдается на принтер. Здесь общими ресурсами являются:
– ОС - для машин 
– ОС - для машин 
.
Подсистема 2 Подсистема 3
ОС UNIX АРМ на IBM PC 
486 под UNIX
 |
Подсистема1 Подсистема 6
Сервер на Ус-во вывода на
IBM PC 486 печать (принтер)
(П)
Подсистема 4 Подсистема 5
ОС MS-DOS АРМ на IBMPC 386
под MS-DOS
Рис. 5.5. Система МВК
свободно
Ресурс1 
 |  | ||
начало вып.”З” 
конец вып.”З” 
нач.вып.”З”
на 
под 
на под 
на 
под 
конец вып.”З”
на под
вып.”З” 
вып.”З”
на под 
на под
свободно
”З” ждет 
свободна 
”З”обраб. на 
”З”
1. 
-”З” поступает обраб. на и ждет или 
”З” выводится на
в МВК на выполнено принтер
свободна
-вып “З” 
”З”обраб.
на под 
на под
начало вып “З” 
конец вып “З” 
начало вып “З” 
конец вып. “З” на под
на под 
на под Ресурс2 на под 
*** 
”истинно” 
свободна “ложно” 
остальные.
Рис. 5.6. Сеть Петри системы “МВК”.
Пример. Диалоговая система (ДС) в монопольном и многопользовательском режимах (рис. 5.7).
Подсистема 2 Подсистема 1
Автоматизированная РО 
Управляющая
система общения программа
КР Пользователь
РО 
Подсистема 3 РОИ
Пакеты прикладных
программ
РА
Подсистема 4
База данных
Рис. 5.7. Система “ДС”
Система “ДС” включает 4 подсистемы и работает в 5 режимах:
КР- контрольный режим;
РО - режим обучения работе с “ДС”;
РО - режим обучения работе с ППП;
