Parallel composition answer

[Jan Kofron]

Pekny den vsem,
dnes na seminari jsem mluvil o 'parallel composition' a podarilo se mi 
zjistit (v clanku je to uvedeno, jen jsem si to nevybavil), ze 
jednotlive komponenty jsou synchronizovany na sdilenych akcich (mohou 
skrz sdilene akce komunikovat). Nelze vsak pomoci teto oprace slozit 
libovolne dve komponenty, ale tyto museji navic splnovat nektera drobna 
omezeni (mnoziny stavu musi byt disjunktni, apod.) - takove komponenty 
se nazyvaji 'compatible'.

S pozdravem
JK