petri net s petri网的
The process characteristics of S-Net, a kind of structure-simple Petri net, are analyzed firstly with details, and the approaches to ob.
文中首先考察结构简单的S-网的进程行为，给出各种类型的S-网的进程表达式的描述方法。
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不变式证明了该网的活性及其它性质。
应用推荐