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

<div>Main elements of the proposed architecture.</div>

Security and Communication Networks

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