Skip to main content

Table 12 Details of the simulation results for RowID 21 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.

[112121]X

145

[212121]X

1440

[212121]X

1440

[222121]X

0

[212121]X

1440

[222121]X

0

[122121]X

6544

  

[212122]X

0

[222122]X

0

[212122]X

0

[222122]X

0

Total: 8129 (81.29%)

Total: 1440 (14.4%)

Total: 1440 (14.4%)

[112111]

5

[122111]

8

[112111]

5

[121212]

1339

[112111]

5

[121212]

1339

[121111]

38

  

[112121]

145

[122111]

8

[112121]

145

[122111]

8

[121121]

481

  

[121111]

38

[122121]

6544

[121111]

38

[122121]

6544

[121212]

1339

  

[121121]

481

  

[121121]

481

  

Total: 1871 (18.71%)

Total: 8560 (85.6%)

Total: 8560 (85.6%)

RuleII_JA

RuleII_ST

RuleII_STA

Patterns

Num.

Patterns

Num.

Patterns

Num.

Patterns

Num.

Patterns

Num.

Patterns

Num.

[112121]X

0

[212121]X

1440

[212121]X

1440

[222121]X

0

[212121]X

1440

[222121]X

0

[122121]X

7221

  

[212122]X

0

[222122]X

0

[212122]X

0

[222122]X

0

Total: 8661 (86.61%)

Total: 1440 (14.4%)

Total: 1440 (14.4%)

[121212]

1339

  

[121212]

1339

[122121]

7221

[121212]

1339

[122121]

7221

Total: 1339 (13.39%)

Total: 8560 (85.6%)

Total: 8560 (85.6%)