Конспект установочных лекций по комплексному курсу Информатика, Теория информации



         

Модуль Структура и закономерности протекания информационных процессов - часть 2


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

Каждому последовательному процессу можно однозначно сопоставить поток действий – трассу (spur, англ. trace) процесса. Трассы являются более простыми моделями для последовательного хода работы системы, чем структуры действий.

Для моделирования распределенных систем, как правило, используются не процессы с их явным представлением параллельности (англ. true concurency – истинный параллелизм), а технически более простые для применения множества потоков действий. В этом случае говорят об искусственной линеаризации (англ. interleaving).

Абстрактное описание динамического поведения распределенной системы может быть дано путем задания множества процессов. Существует ряд способов для описания систем и их ходов работ:

·         сети Петри, графический метод описания;

·         агенты, формальный язык описания;

·         формулы логики предикатов для описания хода работы.

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

Сеть Петри (сеть условий/событий) – направленный граф, состоящий из узлов двух типов – вентилей (переходы, барьеры) и ячеек (места, площадки). Ребра по мере надобности ведут от вентилей к ячейкам или от ячеек к вентилям Ячейки загружаются логическими значениями или натуральными числами. Содержимое ячеек определяет состояние сети. В каком-либо заданном состоянии определенные вентили (множество вентилей) готовы к передаче (они могут «открываться» - путем открытия такого множества вентилей изменяя загрузку сети, т.е.


Содержание  Назад  Вперед