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



         

Сети Петри - часть 9


Для агента, который моделирует распределенную систему или определенный ее аспект, можно выделить следующие вопросы:

1.      Какими свойствами обладает множество достижимых агентов? Является ли это множество конечным?

2.      Исключается ли для определенных действий, что будет порожден процесс, в котором оба эти действия имеют место одновременно (взаимное исключение)?

3.      Может бы быть с помощью процесса достигнут агент (отличный от skip), для которого возможны только тривиальные переходы (тупики)?

4.      Может ли быть достигнут агент (отличный от skip), исходя из которого больше не достижим никакой агент, в котором имеют место определенные действия (локальный тупик, отсутствующая живучесть)?

5.      Существуют ли бесконечные процессы, в которых одно из действий никогда не встречается (справедливость)?.

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

Координация особенно необходима, чтобы при параллельно протекающих процессах можно было исключить конфликты.

Пусть S - подмножество множества действий А. Процесс р0 = (Е0, ?0, ?0) может быть сложен из процессов р1 и р2 тем, что события, помеченные действиями из S, установлены в качестве общих событий. Тогда справедливо: ispar(p0, p1, р2, S).

Рассмотрим частный случай для установления общих событий. Множество действий А разлагается на два дизъюнктивных подмножества U и S:

·         действия множества U являются асинхронно выполняемыми действиями,




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