This article discusses the hybrid system model of each layer and gives a detail description for the process layer. Petri net approaches are presented to model chemical control hybrid system.
论文分别讨论了各层混杂系统的模型形式，特别对过程控制层混杂系统模型进行了详细的描述。
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 number of SMS in a Petri net grows exponentially with respect to the size of net model. Most of the strategies of deadlock prevention based on SMS suffer from computational complexity problems.
由于严格极小信标的数目和网的规模成指数关系，所以大部分基于严格极小信标的死锁控制策略都面临着计算复杂性的问题。
Further simulation illustrates the effect of the adjustment. Theory of colored Petri net is introduced to condense the Petri net model of multi-axis servo control progress.
基于着色Petri理论对多轴伺服控制的分析模型进行了压缩，表明该方法可有效精简具有相似结构的系统分析模型。
Further simulation illustrates the effect of the adjustment. Theory of colored Petri net is introduced to condense the Petri net model of multi-axis servo control progress.
基于着色Petri理论对多轴伺服控制的分析模型进行了压缩，表明该方法可有效精简具有相似结构的系统分析模型。
应用推荐