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

Table 7

Meaning of each place and transition.

Place	Meaning
	Initial state of the vehicle
	The vehicle is running normally
	Deceleration controller
	Front sensor subsystem
	Automobile brake
	Warning message
	Deceleration
	Braking
	Vehicle damage
Transition	Meaning
	Start
	Continuous monitoring of vehicle status during normal driving
	Handling exception information for front sensor subsystem
	Slowdown caused by random events in front of the vehicle
	Braking due to random events in front of the vehicle
	Slow down and continuously monitor vehicle status
	Braking and continuous monitoring of vehicle status
	Vehicle collides while decelerating
	Vehicle collides while braking
	Sending the vehicle to a repair shop for repair