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

<div>Reachable marking graph isomorphic Markov chain. (a) Petri net. (b) Reachable marking graph. (c) Markov chain.</div>

Security and Communication Networks

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