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



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


·         действия множества S являются только синхронно выполняемыми действиями.

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

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

Наряду с несинхронизируемой параллельной композицией агентов важно рассмотреть и  синхронизируемую параллельную композицию агентов. Это может происходить посредством синхронной параллельной композиции ||s, где S обозначает множество действий, которые при параллельно протекающих процессах должны выполняться синхронно.

Точное значение синхронной параллельной композиции по отношению к ходу течения процесса задается следующими правилами:

t1 

r1 ^  t2 
 r2

^ ispar(p, p1, p2, Ø) => t1 ||s t2 

 r1 || r2,

t1 

skip

^ t2

 skip ^ ispar(p, p1, p2, Ø) => t1 ||s t2 
 skip.

Эти правила являются обобщением уже рассматривавшихся правил для несинхронизируемой параллельной композиции. Здесь имеет место то, что какой-либо процесс есть ход работы агента t1 ||s t2, если он возникает через параллельную композицию ходов работы t1  и t2, причем в параллельной композиции этих процессов события, помеченные действиями из S, являются общими событиями. По этому определению существуют агенты, которые отличны от skip, но тем не менее являются терминальными и тем самым не могут выполнять какого-либо процесса, кроме пустого (такие агенты находятся в тупике).

Пример (тупик). Агент а ; b ||(a, b)  b ; a находится в тупике, поскольку он не может выполнять ни действия а, ни действия b.

Наряду с синхронизацией процессов относительно определенных действий над общими событиями имеет место координация параллельно выполняющихся агентов о «взаимных исключениях».


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