Skip to main content

Table 13 Details of the simulation results for RowID 29 in Table 9

From: Simulation-based model checking approach to cell fate specification during Caenorhabditis elegans vulval development by hybrid functional Petri net with extension

RuleI_JA

RuleI_ST

RuleI_STA

Patterns

Num.

Patterns

Num.

Patterns

Num.

Patterns

Num.

Patterns

Num.

Patterns

Num.

[111111]X

0

  

[111111]X

0

[211112]X

0

[111111]X

0

[211111]X

0

[111112]X

0

  

[111112]X

0

[211121]X

0

[111112]X

0

[211112]X

0

[111121]X

0

  

[111121]X

0

[211122]X

0

[111121]X

0

[211121]X

0

[111211]X

0

  

[111122]X

0

[211211]X

0

[111122]X

0

[211122]X

0

[111212]X

0

  

[111211]X

0

[211212]X

0

[111211]X

0

[211211]X

0

[111221]X

0

  

[111212]X

0

[211221]X

0

[111212]X

0

[211212]X

0

[112111]X

0

  

[111221]X

0

[211222]X

0

[111221]X

0

[211221]X

0

[112112]X

0

  

[111222]X

0

[212111]X

0

[111222]X

0

[211222]X

0

[112121]X

0

  

[112111]X

0

[212112]X

0

[112111]X

0

[212111]X

0

[112211]X

0

  

[112112]X

0

[212121]X

0

[112112]X

0

[212112]X

0

[112212]X

0

  

[112121]X

0

[212122]X

0

[112121]X

0

[212121]X

0

[121111]X

0

  

[112122]X

0

[212211]X

0

[112122]X

0

[212122]X

0

[121112]X

0

  

[112211]X

0

[212212]X

0

[112211]X

0

[212211]X

0

[121121]X

120

  

[112212]X

0

[212221]X

0

[112212]X

0

[212212]X

0

[121211]X

0

  

[112221]X

0

[212222]X

0

[112221]X

0

[212221]X

0

[121212]X

0

  

[112222]X

0

[221111]X

0

[112222]X

0

[212222]X

0

[121221]X

4393

  

[121111]X

0

[221112]X

0

[121111]X

0

[221111]X

0

[122111]X

0

  

[121112]X

0

[221121]X

0

[121112]X

0

[221112]X

0

[122112]X

0

  

[121121]X

120

[221122]X

0

[121121]X

120

[221121]X

0

[122121]X

4898

  

[121122]X

0

[221211]X

0

[121122]X

0

[221122]X

0

[211111]X

0

  

[121211]X

0

[221212]X

0

[121131]X

0

[221211]X

0

[211112]X

0

  

[121212]X

0

[221221]X

0

[121211]X

0

[221212]X

0

[211121]X

0

  

[121221]X

4393

[221222]X

0

[121212]X

0

[221221]X

0

[211211]X

0

  

[121222]X

0

[222111]X

0

[121221]X

4393

[221222]X

0

[211212]X

0

  

[122111]X

0

[222112]X

0

[121222]X

0

[222111]X

0

[211221]X

0

  

[122112]X

0

[222121]X

0

[122111]X

0

[222112]X

0

[212111]X

0

  

[122121]X

4898

[222122]X

0

[122112]X

0

[222121]X

0

[212112]X

0

  

[122122]X

0

[222211]X

0

[122121]X

4898

[222122]X

0

[212121]X

0

  

[122211]X

0

[222212]X

0

[122122]X

0

[222211]X

0

[212211]X

0

  

[122212]X

0

[222221]X

0

[122211]X

0

[222212]X

0

[212212]X

0

  

[122221]X

575

[222222]X

0

[122212]X

0

[222221]X

0

    

[122222]X

0

  

[122221]X

575

[222222]X

0

    

[211111]X

0

  

[122222]X

0

  

Total: 9411 (94.11%)

Total: 9986 (99.86%)

Total: 9986 (99.86%)

[121223]

14

[122221]

575

[121223]

14

  

[121223]

14

  

Total: 589 (5.89%)

Total: 14 (0.14%)

Total: 14 (0.14%)

RuleII_JA

RuleII_ST

RuleII_STA

Patterns

Num.

Patterns

Num.

Patterns

Num.

Patterns

Num.

Patterns

Num.

Patterns

Num.

[111111]X

0

  

[111111]X

0

[211112]X

7

[111111]X

0

[211111]X

5

[111112]X

0

  

[111112]X

0

[211121]X

12

[111112]X

0

[211112]X

7

[111121]X

1

  

[111121]X

1

[211122]X

5

[111121]X

1

[211121]X

12

[111211]X

0

  

[111122]X

0

[211211]X

38

[111122]X

0

[211122]X

5

[111212]X

0

  

[111211]X

0

[211212]X

110

[111211]X

0

[211211]X

38

[111221]X

3

  

[111212]X

0

[211221]X

62

[111212]X

0

[211212]X

110

[112111]X

0

  

[111221]X

3

[211222]X

15

[111221]X

3

[211221]X

62

[112112]X

1

  

[111222]X

0

[212111]X

47

[111222]X

0

[211222]X

15

[112121]X

14

  

[112111]X

0

[212112]X

124

[112111]X

0

[212111]X

47

[112211]X

0

  

[112112]X

1

[212121]X

1214

[112112]X

1

[212112]X

124

[112212]X

4

  

[112121]X

14

[212122]X

405

[112121]X

14

[212121]X

1214

[121111]X

5

  

[112122]X

3

[212211]X

125

[112122]X

3

[212122]X

405

[121112]X

12

  

[112211]X

0

[212212]X

533

[112211]X

0

[212211]X

125

[121121]X

98

  

[112212]X

4

[212221]X

448

[112212]X

4

[212212]X

533

[121211]X

238

  

[112221]X

2

[212222]X

82

[112221]X

2

[212221]X

448

[121212]X

850

  

[112222]X

1

[221111]X

3

[112222]X

1

[212222]X

82

[121221]X

1271

  

[121111]X

5

[221112]X

9

[121111]X

5

[221111]X

3

[122111]X

12

  

[121112]X

12

[221121]X

46

[121112]X

12

[221112]X

9

[122112]X

70

  

[121121]X

98

[221122]X

36

[121121]X

98

[221121]X

46

[122121]X

1263

  

[121122]X

54

[221211]X

79

[121122]X

54

[221122]X

36

[211111]X

5

  

[121211]X

238

[221212]X

296

[121131]X

0

[221211]X

79

[211112]X

7

  

[121212]X

850

[221221]X

441

[121211]X

238

[221212]X

296

[211121]X

12

  

[121221]X

1271

[221222]X

88

[121212]X

850

[221221]X

441

[211211]X

38

  

[121222]X

246

[222111]X

3

[121221]X

1271

[221222]X

88

[211212]X

110

  

[122111]X

12

[222112]X

16

[121222]X

246

[222111]X

3

[211221]X

62

  

[122112]X

70

[222121]X

227

[122111]X

12

[222112]X

16

[212111]X

47

  

[122121]X

1263

[222122]X

103

[122112]X

70

[222121]X

227

[212112]X

124

  

[122122]X

511

[222211]X

6

[122121]X

1263

[222122]X

103

[212121]X

1214

  

[122211]X

100

[222212]X

45

[122122]X

511

[222211]X

6

[212211]X

125

  

[122212]X

403

[222221]X

28

[122211]X

100

[222212]X

45

[212212]X

533

  

[122221]X

138

[222222]X

10

[122212]X

403

[222221]X

28

    

[122222]X

32

  

[122221]X

138

[222222]X

10

    

[211111]X

5

  

[122222]X

32

  

Total: 6119 (61.19%)

Total: 10000 (100%)

Total: 10000 (100%)

[112122]

3

[122211]

100

        

[112221]

2

[122212]

403

[212122]

405

[221121]

46

[221222]

88

[222211]

6

[112222]

1

[122221]

138

[212221]

448

[221122]

36

[222111]

3

[222212]

45

[121122]

54

[122222]

32

[212222]

82

[221211]

79

[222112]

16

[222221]

28

[121222]

246

[211122]

5

[221111]

3

[221212]

296

[222121]

227

[222222]

10

[122122]

511

[211222]

15

[221112]

9

[221221]

441

[222122]

103

  
        

Total: 3881 (38.81%)

Back to article page

BMC Systems Biology

ISSN: 1752-0509

Contact us