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

Figure 11

Illustration of smart car running in a case environment.