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 under the normal driving of the car.</div>

Security and Communication Networks

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