Skip to main content

Table 1 (Multi-valued) logical functions based on the network of Figure 1

From: Anti-inflammatory effects of reactive oxygen species – a multi-valued logical model validated by formal concept analysis

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

    
  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.