Zaawansowane Modelowanie i Analiza Systemów informacyjnych (ZMA) Collocjuium nr 2 (2008.12.17)
Imię |
Nazwisko |
Nr indeksu |
Grupa |
rn n m i |
~rmTn~nTTTr |
i || | |
TTT |
CHOICE -> MERGE FORK -> SYNCHRONIZER
Powinien być Synchronizer, ponieważ ten proces nie może się wykonać
Przy CHOICE wystąpi zakleszczenie (idziemy w “B”)
ZMA - k02
Strona 5 z 8