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

Table 10

Corresponding meaning of each state.

State	Meaning
	Vehicle initialization
	The vehicle is running normally
	Sensors continuously monitor vehicle status
	The sensor receives abnormal information
	Vehicle deceleration
	Vehicle braking
	Vehicle collision damage