3582333759

PpPRAWNQ$Ć PROCESÓW

Struć tu rai Soundness

-    Wszystkie zdarzenia biorą udział w procesie

- Każda instancja zawsze się zakończy (nie ma deadtock'6w i livelodt'ów)

■ W momencie zakończenia tylko jeden token jest na sunie końcowym (po zakończeniu już nic się me dzieje)

Relaxed Soundness

-    Wszystkie zdarzenia biorą udział w procesie Przynajmniej jedna instancja zakończy się, ale mogą też wystąpić livelock’l I

deodtock’1

Weak Soundness

• Niektóre zdarzenia mogą nie brać udziału w procesie • Nie może być deodlock'ów i Hvelock'ów - W momencie zakończenia tylko jeden token jest na sunie końcowym (po zakończeniu już nic się nie dzieje)

lary Soundness

- Niektóre zdarzenia mogą nie brać udziału w procesie - Nie może być deadtock'tiw i kvelock'ów Niektóre aktywnoici mogą nadal być wykonywane po zakończeniu procesu.

O®®

Warunek 11 Start 11 Koniec

Proces złożony    Wiele instancji

Bramka decyzyjna AND

Bramka decyzyjna OR

/		ł

Bramka decyzyjna XOR