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

Table 8

Implementation rate of each transition.

Rate	Value
	3
	4
	5
	5
	3
	7
	6
	2
	2
	7