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

<div>Markov chain corresponding to the SPN model when a random event occurs in front of the car.</div>

Security and Communication Networks

Figure 17: Formal  Model and Analysis for the Random Event in the Intelligent Car with Stochastic Petri Nets and <i>Z</i> 