First of all, a fair net is obtained by adding some places that make the net have only one T-invariant.
首先,基于网论t不变式的概念,把系统的网模型设计为一个公平网。
2
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.