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

<div>Relationship between SPN and <i>Z</i> in SPZN.</div>

Security and Communication Networks

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