Formal  Model and Analysis for the Random Event in the Intelligent Car with Stochastic Petri Nets and Z

Table 12

Implementation rate of each transition after optimized.

Rate	Value
	6
	2
	2
	3
	3
	7
	8
	2
	2
	9