23 (286)

III. An action-bascd reprcsentation of thc Produccr/Consumer System:

Producer: Altemates the actions “to produce” p and “to deliver” d behavior is an infmite seąuence of pdpd.....

or

producer = p.d.producer (this is a finite representation)

Producer is defined as performing actions of producing and delivering and then behaving like producer again (a recursive definition).

/

consumer = r.c. consumer

d’ and r’ - indicate strong synchronization with depositing/removing

buffer = d’.r’. buffer

|| operator for a parallel/distributed system

P/C System = Producer || Buffer || Consumer

For each action X, operator || must guarantee that X and X’ occur coincidentally (simultaneously).

IV. A net representation of the producer — consumer system:

Readyto

Buffer

fi

Ready to consume

deiiver

Ready to Droduce

Ready to revenue