DSC03334 (3)

H

Schemat 3.15. Graf stanów uwzględniający kolizję aprioryczną ( Wy    i

Kolizja aposter ioryczna lub też inaczej kolizja warunkowa dwu wartości należących do różnych cech polega na tym, że jeżeli władnie te wartości wystąpiły, to nie będą mogły pojawić elę jako następne Inne z góry określone kombinacje par wartości tych cech. Jeżeli, na przykład wartość    znajduje

aię w kolizji aposteriorycznej z wartością w| w taki ^sposób, że po ich wystąpieniu nie może pojawić się para ( Wg , f|) określająca etan zasobu, to luk Sg, S₄ nie może wystąpić. Ka schemacie 3.16 pokazano graf stanów uwzględniający kolizję aprioryczną i aposterioryczną łącznie.

Schemat 3.16. Grar stanów uwzględniający kolizję aprioryczną ze schematu 3*15 oraz

kolizję apoaterloryczną (w!j_v w|)"^(*2,

lub flg~*-S₄

Funkcjonowanie wewnętrzne 1 zewnętrzne w przestrzeni cech

Funkcjonowanie zewnętrzne zasobu w przestrzeni cech wożę być wyczerpująco opisane grafem stanów, uzyskanym w wyniku przemówienia grafów wartości Jego cech wyjściowych. Uzyskany graf stanów zasobu musi być skorygowany przez usunięcie wierzchołków

/stanów/ należących do obszaru apriorycznych kolizji wartości ceoh oraz usunięcie łuków /zmian stanów/ należących do obszaru aposteriorycznych kolizji wartości cech.

i