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

Table 9

Steady-state probability in each state.

State	Probability
	0.2907
	0.2180
	0.1744
	0.1090
	0.0606
	0.0227
	0.1246