Table 11 The total checking time of the CAR reachability algorithm under different entity sizes.

From: Toward a modeling and analysis method of cyber-physical systems architecture evolution based on bigraph

Entity

Counts

37

74

111

148

185

222

259

296

333

370

Road

999.18

1400.00

1862.43

3289.39

4000.05

5000.07

5000.06

5005.10

6113.22

8266.55

Barriersensor

500.00

800.01

1461.66

1685.41

2000.03

3000.04

2000.06

2966.17

4021.35

3941.56

Controller

501.63

900.01

1793.64

1629.86

3000.04

2190.95

2980.90

4000.05

4080.38

4420.52

Displayer

500.01

900.01

1591.97

1822.09

2000.03

3002.86

3000.05

4000.06

4794.16

4595.86

Barrier

601.05

804.57

966.03

1145.55

3013.22

3033.86

2998.79

3000.04

4045.94

5098.19

People

598.97

802.69

499.24

1002.70

2056.77

2002.48

3000.00

3000.11

3635.24

4267.11

Total time (ns)

3700.84

5607.29

8174.97

10,575

16070.14

18230.26

18979.86

21971.53

26690.29

30589.79