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

Algorithm 3

Algorithms for verifying the boundedness and security of Petri nets.

	Input: .
	Output: .
	if
	if
	else
	if
	if
	else
	else
	else