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

<div>Structure of the Z language is similar to the structure of the C++. (a) The framework of Z language. (b) The C++ language class framework.</div>

Security and Communication Networks

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