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

Figure 1

Conceptual diagram of the vehicle-road-human-cloud integrated system.