Skip to main content

Table 14 Details of the simulation results for RowID 45 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

[211122]X

0

[111111]X

0

[211122]X

0

[111112]X

0

  

[111112]X

0

[211211]X

0

[111112]X

0

[211211]X

0

[111121]X

0

  

[111121]X

0

[211212]X

0

[111121]X

0

[211212]X

0

[111211]X

2

  

[111122]X

0

[211221]X

0

[111122]X

0

[211221]X

0

[111212]X

32

  

[111211]X

2

[211222]X

0

[111211]X

2

[211222]X

0

[111221]X

0

  

[111212]X

32

[212111]X

108

[111212]X

32

[212111]X

108

[112111]X

6

  

[111221]X

0

[212112]X

0

[111221]X

0

[212112]X

0

[112112]X

0

  

[111222]X

0

[212121]X

1336

[111222]X

0

[212121]X

1336

[112121]X

115

  

[112111]X

6

[212122]X

0

[112111]X

6

[212122]X

0

[112211]X

0

  

[112112]X

0

[212211]X

0

[112112]X

0

[212211]X

0

[112212]X

0

  

[112121]X

115

[212212]X

0

[112121]X

115

[212212]X

0

[121111]X

0

  

[112122]X

0

[212221]X

0

[112122]X

0

[212221]X

0

[121112]X

0

  

[112211]X

0

[212222]X

0

[112211]X

0

[212222]X

0

[121121]X

94

  

[112212]X

0

[221111]X

0

[112212]X

0

[221111]X

0

[121211]X

62

  

[112221]X

0

[221112]X

0

[112221]X

0

[221112]X

0

[121212]X

1430

  

[112222]X

0

[221121]X

0

[112222]X

0

[221121]X

0

[121221]X

2795

  

[121111]X

0

[221122]X

0

[121111]X

0

[221122]X

0

[122111]X

1

  

[121112]X

0

[221211]X

0

[121112]X

0

[221123]X

0

[122112]X

0

  

[121121]X

94

[221212]X

0

[121121]X

94

[221211]X

0

[122121]X

4019

  

[121122]X

0

[221221]X

0

[121122]X

0

[221212]X

0

[211111]X

0

  

[121211]X

62

[221222]X

0

[121211]X

62

[221221]X

0

[211112]X

0

  

[121212]X

1430

[222111]X

0

[121212]X

1430

[221222]X

0

[211121]X

0

  

[121221]X

2795

[222112]X

0

[121221]X

2795

[221223]X

0

[211211]X

0

  

[121222]X

0

[222121]X

0

[121222]X

0

[221321]X

0

[211212]X

0

  

[122111]X

1

[222122]X

0

[122111]X

1

[221322]X

0

[211221]X

0

  

[122112]X

0

[222211]X

0

[122112]X

0

[221323]X

0

[212111]X

108

  

[122121]X

4019

[222212]X

0

[122121]X

4019

[222111]X

0

[212112]X

0

  

[122122]X

0

[222221]X

0

[122122]X

0

[222112]X

0

[212121]X

1336

  

[122211]X

0

[222222]X

0

[122211]X

0

[222121]X

0

[212211]X

0

  

[122212]X

0

  

[122212]X

0

[222122]X

0

[212212]X

0

  

[122221]X

0

  

[122221]X

0

[222211]X

0

    

[122222]X

0

  

[122222]X

0

[222212]X

0

    

[211111]X

0

  

[211111]X

0

[222221]X

0

    

[211112]X

0

  

[211112]X

0

[222222]X

0

    

[211121]X

0

  

[211121]X

0

[222312]X

0

Total: 10000 (100%)

Total: 10000 (100%)

Total: 10000 (100%)

RuleII_JA

RuleII_ST

RuleII_STA

Patterns

Num.

Patterns

Num.

Patterns

Num.

Patterns

Num.

Patterns

Num.

Patterns

Num.

[111111]X

0

  

[111111]X

0

[211122]X

0

[111111]X

0

[211122]X

0

[111112]X

0

  

[111112]X

0

[211211]X

0

[111112]X

0

[211211]X

0

[111121]X

0

  

[111121]X

0

[211212]X

0

[111121]X

0

[211212]X

0

[111211]X

0

  

[111122]X

0

[211221]X

0

[111122]X

0

[211221]X

0

[111212]X

0

  

[111211]X

0

[211222]X

0

[111211]X

0

[211222]X

0

[111221]X

0

  

[111212]X

0

[212111]X

0

[111212]X

0

[212111]X

0

[112111]X

0

  

[111221]X

0

[212112]X

0

[111221]X

0

[212112]X

0

[112112]X

0

  

[111222]X

0

[212121]X

1444

[111222]X

0

[212121]X

1444

[112121]X

0

  

[112111]X

0

[212122]X

0

[112111]X

0

[212122]X

0

[112211]X

0

  

[112112]X

0

[212211]X

0

[112112]X

0

[212211]X

0

[112212]X

0

  

[112121]X

0

[212212]X

0

[112121]X

0

[212212]X

0

[121111]X

0

  

[112122]X

0

[212221]X

0

[112122]X

0

[212221]X

0

[121112]X

0

  

[112211]X

0

[212222]X

0

[112211]X

0

[212222]X

0

[121121]X

0

  

[112212]X

0

[221111]X

0

[112212]X

0

[221111]X

0

[121211]X

0

  

[112221]X

0

[221112]X

0

[112221]X

0

[221112]X

0

[121212]X

1462

  

[112222]X

0

[221121]X

0

[112222]X

0

[221121]X

0

[121221]X

2859

  

[121111]X

0

[221122]X

0

[121111]X

0

[221122]X

0

[122111]X

0

  

[121112]X

0

[221211]X

0

[121112]X

0

[221123]X

0

[122112]X

0

  

[121121]X

0

[221212]X

0

[121121]X

0

[221211]X

0

[122121]X

4235

  

[121122]X

0

[221221]X

0

[121122]X

0

[221212]X

0

[211111]X

0

  

[121211]X

0

[221222]X

0

[121211]X

0

[221221]X

0

[211112]X

0

  

[121212]X

1462

[222111]X

0

[121212]X

1462

[221222]X

0

[211121]X

0

  

[121221]X

2859

[222112]X

0

[121221]X

2859

[221223]X

0

[211211]X

0

  

[121222]X

0

[222121]X

0

[121222]X

0

[221321]X

0

[211212]X

0

  

[122111]X

0

[222122]X

0

[122111]X

0

[221322]X

0

[211221]X

0

  

[122112]X

0

[222211]X

0

[122112]X

0

[221323]X

0

[212111]X

0

  

[122121]X

4235

[222212]X

0

[122121]X

4235

[222111]X

0

[212112]X

0

  

[122122]X

0

[222221]X

0

[122122]X

0

[222112]X

0

[212121]X

1444

  

[122211]X

0

[222222]X

0

[122211]X

0

[222121]X

0

[212211]X

0

  

[122212]X

0

  

[122212]X

0

[222122]X

0

[212212]X

0

  

[122221]X

0

  

[122221]X

0

[222211]X

0

    

[122222]X

0

  

[122222]X

0

[222212]X

0

    

[211111]X

0

  

[211111]X

0

[222221]X

0

    

[211112]X

0

  

[211112]X

0

[222222]X

0

    

[211121]X

0

  

[211121]X

0

[222312]X

0

Total: 10000 (100%)

Total: 10000 (100%)

Total: 10000 (100%)

Back to article page

BMC Systems Biology

ISSN: 1752-0509

Contact us