Table 4. Relation matrix computed from delay constraints that lead to the deadlock state (1,0,1,1,1,1,1,0,1) from starting state (1,0,0,0,0,0,0,1,0,0).
Each entry of the matrix represents whether a delay ‘a’ would be greater than, equal to, or less than a delay ‘b.’ The matrix is read as drow ∼ dcolumn where ∼ ∈ { ≤ , < , > , ≥ , = }.
| dnOGT | dpCMYC | dpFOXM | dpP21 | dpNFκB | dnMDM2 | dnP53 | dpMDM2 | dnNFκB | dpPI3K | dpP53 | |
|---|---|---|---|---|---|---|---|---|---|---|---|
| dnOGT | = | >= | =<> | =>< | >=< | > | > | > | =<> | > | > |
| dpCMYC | = | <= | <= | =< | > | > | > | <=> | > | > | |
| dpFOXM | = | =>< | >=< | > | > | > | =>< | > | > | ||
| dpP21 | = | >=< | > | > | > | =<> | > | > | |||
| dpNFκB | = | > | > | > | <=> | > | > | ||||
| dnMDM2 | = | >= | >= | <=> | >= | >= | |||||
| dnP53 | = | = | <= | = | = | ||||||
| dpMDM2 | = | <= | = | = | |||||||
| dnNFκB | = | >= | >= | ||||||||
| dpPI3K | = | = | |||||||||
| dpP53 | = |