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




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


При известных обстоятельствах необходимо использовать непоименованные вспомогательные вентили, чтобы выразить поведение агента сетью Петри.

Для каждого терма t синтаксической единицы <agent> и каждой структуры действий р = (Е0, ?0, ?) можно аналогично конкретизациям сетей Петри установить, представляет ли структура действий р возможный ход работы агента t. Это можно сделать формально с помощью определения отношения (аналогично отношениям переходов между состояниями сети Петри) t1

t2., которое свидетельствует о том, что агент t1 может выполнить процесс р и после этого ведет себя как агент t2.

Это отношение, которое устанавливает, какие ходы работы возможны для агентов и к каким агентам они ведут, определяется рекурсивно следующим образом:

(1)        Каждый агент может выполнить пустой процесс. Для пустого процесса р0 и любого агента t определим соответственно:

t

t.

(2)        Агент а, состоящий из единственного действия а, может выполнить процесс, который содержит единственное событие, помеченное действием а.

a

 skip,

(3)        Пусть р, р0, p1 и р2 - любые процессы. Агент t1 ог t2 показывает неде-терминированно поведение агента t1 или агента t3.

t1

t2 => t1 or t2 
 t3,

t2 

 t3

=> t1 or t2

 t3.

Агент t1; t2 ведет себя как агент t1 и, если t1 этим поведением переводится в skip, в заключение ведет себя как агент t2 . Соответственно определяются следующие два правила для последовательной композиции агентов:

t1 

 t3 => t1 ; t2 
 t3

; t2,

t1 

skip

^ t2 

 t3 ^ isseq(p, p1, p2) => t1 ; t2 
 t3.

Поведение агента t1 || t2 складывается параллельно из поведения t1 и t2. Если поведение обоих агентов приводит к skip, то и поведение t1 || t2 тоже приводит к skip. Агент t1 || t2

завершается, если завершается как t1, так и t2 . Соответственно определяем:

t1 

r1 ^  t2 
 r2

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

 r1 || r2,

t1 

skip

^ t2

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

(4)        Для любого процесса р определим ходы работ для рекурсивных агентов с помощью следующего правила:




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