Skip to main content

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

0

  

[112121]X

0

[212121]X

0

[112121]X

0

[212123]X

0

[122121]X

9260

  

[112122]X

0

[212122]X

0

[112122]X

0

[222121]X

0

[212121]X

0

  

[122121]X

9260

[222121]X

0

[112123]X

0

[222122]X

0

    

[122122]X

0

[222122]X

0

[122121]X

9260

[312121]X

0

        

[122122]X

0

[312122]X

0

        

[212121]X

0

[312123]X

0

        

[212122]X

0

  

Total: 9260 (92.6%)

Total: 9260 (92.6%)

Total: 9260 (92.6%)

[121121]

19

  

[121121]

19

  

[121121]

19

  

[121321]

3

  

[121321]

3

  

[121321]

3

  

[121323]

1

  

[121323]

1

  

[121323]

1

  

[123121]

11

  

[123121]

11

  

[123121]

11

  

[123321]

651

  

[123321]

651

  

[123321]

651

  

[123323]

55

  

[123323]

55

  

[123323]

55

  

Total: 740 (7.4%)

Total: 740 (7.4%)

Total: 740 (7.4%)

RuleII_JA

RuleII_ST

RuleII _STA

Patterns

Num.

Patterns

Num.

Patterns

Num.

Patterns

Num.

Patterns

Num.

Patterns

Num.

[112121]X

11

  

[112121]X

11

[212121]X

1140

[112121]X

11

[212123]X

0

[122121]X

1289

  

[112122]X

1

[212122]X

410

[112122]X

1

[222121]X

253

[212121]X

1140

  

[122121]X

1289

[222121]X

253

[112123]X

0

[222122]X

96

    

[122122]X

496

[222122]X

96

[122121]X

1289

[312121]X

0

        

[122122]X

496

[312122]X

0

        

[212121]X

1140

[312123]X

0

        

[212122]X

410

  

Total: 2440 (24.4%)

Total: 3696 (36.96%)

Total: 3696 (36.96%)

[111122]

1

[211212]

25

[111122]

1

[211222]

2

[111122]

1

[211222]

2

[111221]

1

[211221]

45

[111221]

1

[212111]

77

[111221]

1

[212111]

77

[112111]

1

[211222]

2

[112111]

1

[212112]

318

[112111]

1

[212112]

318

[112112]

2

[212111]

77

[112112]

2

[212211]

95

[112112]

2

[212211]

95

[112122]

1

[212112]

318

[112212]

3

[212212]

400

[112212]

3

[212212]

400

[112212]

3

[212122]

410

[112221]

3

[212221]

449

[112221]

3

[212221]

449

[112221]

3

[212211]

95

[121111]

142

[212222]

64

[121111]

142

[212222]

64

[121111]

142

[212212]

400

[121112]

754

[221111]

54

[121112]

754

[221111]

54

[121112]

754

[212221]

449

[121121]

318

[221112]

265

[121121]

318

[221112]

265

[121121]

318

[212222]

64

[121122]

232

[221121]

110

[121122]

232

[221121]

110

[121122]

232

[221111]

54

[121211]

61

[221122]

70

[121211]

61

[221122]

70

[121211]

61

[221112]

265

[121212]

116

[221211]

18

[121212]

116

[221211]

18

[121212]

116

[221121]

110

[121221]

1084

[221212]

32

[121221]

1084

[221212]

32

[121221]

1084

[221122]

70

[121222]

73

[221221]

426

[121222]

73

[221221]

426

[121222]

73

[221211]

18

[122111]

57

[221222]

45

[122111]

57

[221222]

45

[122111]

57

[221212]

32

[122112]

226

[222111]

11

[122112]

226

[222111]

11

[122112]

226

[221221]

426

[122211]

81

[222112]

33

[122211]

81

[222112]

33

[122122]

496

[221222]

45

[122212]

237

[222211]

8

[122212]

237

[222211]

8

[122211]

81

[222111]

11

[122221]

132

[222212]

23

[122221]

132

[222212]

23

[122212]

237

[222112]

33

[122222]

33

[222221]

28

[122222]

33

[222221]

28

[122221]

132

[222121]

253

[211111]

29

[222222]

11

[211111]

29

[222222]

11

[122222]

33

[222122]

96

[211112]

77

  

[211112]

77

  

[211111]

29

[222211]

8

[211121]

17

  

[211121]

17

  

[211112]

77

[222212]

23

[211122]

5

  

[211122]

5

  

[211121]

17

[222221]

28

[211211]

10

  

[211211]

10

  

[211122]

5

[222222]

11

[211212]

25

  

[211212]

25

  

[211211]

10

  

[211221]

45

  

[211221]

45

  

Total: 7560 (75.6%)

Total: 6304 (63.4%)

Total: 6304 (63.4%)

  1. Table 11: X denotes predicted fate pattern, which is also used in Table 12–14.