Table 2

Size of infinitely visited state sets for partial models

Size

Before

After

BDD Nodes


1

1.4 · 106

3424

427

2

2.9 · 108

3424

451

3

2.9 · 108

3424

475

4

2.9 · 108

3424

499

5

4.5 · 108

1.3 · 106

1189

6

2.5 · 1011

5.2 · 106

23092

7

1.0 · 1012

7.2 · 108

70626

8

1.4 · 1013

5.6 · 108

146169

9

1.1 · 1014

5.5 · 109

253558

10

6.1 · 1013

255

8830


This table describes the execution of the algorithm on the 10 cells Notch/Wnt model. For each partial model, the number of potentially infinitely visited states before the execution of the algorithm and the number of infinitely visited states found by the algorithm are indicated. The size of the symbolic representation of the infinitely visited states of the partition is indicated in terms of number of BDD nodes.

Schaub et al. BMC Systems Biology 2007 1:4   doi:10.1186/1752-0509-1-4

Open Data