Skip to main content

Table 2 Size of infinitely visited state sets for partial models

From: Qualitative networks: a symbolic approach to analyze biological signaling networks

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

  1. 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.
Back to article page

BMC Systems Biology

ISSN: 1752-0509

Contact us