This thesis introduces the Petri net and the Petri net model of a data link layer protocol, and illustrates the properties of the net with S-invariant and T-invariant.
本文介绍了Petri网和数据链路层协议的一个Petri网模型,并且用S不变式和T不变式证明了该网的活性及其它性质。
The experimental results are perfect and show that improved moment invariant can satisfied the stored-grain microbe′s recognition.
实验取得理想结果,说明改进的形状不变矩能够满足储粮微生物识别要求。
应用推荐