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

Table 2

Difference between Z, PZN, TPZN, SPN, and SPZN.

	Framework	Dynamic	Randomness
Z	✓	×	×
PZN	✓	✓	×
TPZN	✓	✓	×
SPN	×	✓	✓
SPZN	✓	✓	✓