Table 1.
(Multi-valued) logical functions based on the network of Figure 1
| ID | Input | Output | ID | Input | Output | ||
|---|---|---|---|---|---|---|---|
| 1 | Bilet | = | Bilet+1 | 22 | ROSt + Pott + Cat + 2 !AntiOxt | = | 2 ROSt+1 |
| 2 | !Cat + Bilet | = | Cat+1 | 23 | ROSt + CytCt + 2 !AntiOxt | = | 2 ROSt+1 |
| 3 | PMCht | = | Cat+1 | 24 | 3 ROSt | = | 2 ROSt+1 |
| 4 | 2 !ATPt | = | Cat+1 | 25 | 2 ROSt + Cat + CytCt + !AntiOxt | = | 3 ROSt+1 |
| 5 | 2 Cat | = | Cat+1 | 26 | 2 !Cat | = | AntiOxt+1 |
| 6 | !Cat + !CaMemt + 2 Bilet | = | 2 Cat+1 | 27 | 2 !Porest | = | AntiOxt+1 |
| 7 | Cat | = | CaMemt+1 | 28 | 2 AntiOxt | = | AntiOxt+1 |
| 8 | 2 Cat | = | 2 CaMemt+1 | 29 | AntiOxt + 2 NADHt + !Cat + 2 !Porest | = | 2 AntiOxt+1 |
| 9 | 2 Cat | = | PMCht+1 | 30 | Cat | = | Porest+1 |
| 10 | 2 !ROSt | = | NADHt+1 | 31 | 2 ROSt | = | Porest+1 |
| 11 | 2 NADHt | = | NADHt+1 | 32 | 2 Porest | = | Porest+1 |
| 12 | NADHt + 2 Cat | = | 2 NADHt+1 | 33 | Porest + Cat + CaMemt | = | 2 Porest+1 |
| 13 | 2 !Porest | = | Pott+1 | 34 | 2 ROSt | = | CytCt+1 |
| 14 | 2 Pott | = | Pott+1 | 35 | 2 CytCt | = | CytCt+1 |
| 15 | Pott + 2 NADHt + 2 !Porest | = | 2 Pott+1 | 36 | CytCt + 3 ROSt | = | 2 CytCt+1 |
| 16 | !Pott | = | ATPt+1 | 37 | ATPt + CytCt + Porest | = | Aptt+1 |
| 17 | 2 ATPt | = | ATPt+1 | 38 | ATPt + 2 CytCt + Porest | = | 2 Aptt+1 |
| 18 | ATPt + Pott | = | 2 ATPt+1 | 39 | Cat + CaMemt | = | Necrt+1 |
| 19 | Pott | = | ROSt+1 | 40 | 2 Cat + !(ATPt + 2 CytCt + Porest) | = | 2 Necrt+1 |
| 20 | 2 ROSt | = | ROSt+1 | 41 | Cat + CaMemt + !(ATPt + 2 CytCt + Porest) | = | 2 Necrt+1 |
| 21 | ROSt + 2 Pott + 2 !AntiOxt | = | 2 ROSt+1 |
The single equations determine the output at a simulation step t + 1, given the values of the variables at the input state (discrete time t). “!” means negation, “+” AND, OR is expressed by multiple equations for a specific level of the same output variable. Numbers denote the present value of a variable; 1 is not noted explicitly, 2 !A means “the value of A is below 2”. Hence, an equation !At + 2 Bt = Ct+1 will be translated: If at a time point t, molecule/protein/process A is not activated/has a low concentration (hence A = 0) and at least a stimulus by B at level 2 is present (Bt ≥ 2), then at t + 1 the concentration of C is set to level 1. The function for the higher level of a variable is evaluated by priority. If no left-hand side of the respective equations is evaluated to TRUE, the default value of each variable is 0. This does not necessarily signify “zero” concentration, but a basic value which can be effective as in !Pott, = ATPt+1. Temporal constraints like 2 Cat = Cat+1 or Pott + .. = 2 Pott+1 are not visualized in Figure 1.