片语

Petri-net ontologyPetri网本体

composite Petri-net合成Petri网

object petri-net对象Petri网

time petri-net时间petri网

Petri-net modelPetri网模型

petri-net systempetri网系统

petri i net皮特里网

petri s netpetri网

Petri-Net reductionPetri网规约

英汉例句

• based on the technological process characteristic research in the production line of printing and dyeing, a model of production line with extended stochastic high level evaluation petri net was built.

  印染生产线是一个复杂的流程制造系统，存在着生产瓶颈不易诊断、设备利用率低等问题。

• 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 second, the assignment of minimal live marking for choice-free repetitive petri net is transformed into the assignment of minimal live marking for the strong connective t graph.

  然后将无沖突可重复网的极小活标识的配置化为强连通-t图极小活标识的配置。

• the transition step rule of price coloured petri net is given, and the economic-marking is defined, then the minimum costs generation algorithm is introduced.

  其中讨论了价格着色网的变迁步规则，提出了价格着色网中的标识——经济标识的定义，并有针对性地提出了最小成本构造算法。

• the genetic algorithm based expansion petri net has higher universality than others. workflow optimization;

  这种基于扩展petri网的遗传算法具有较高的通用性。

• the major disadvantage of the existing approaches is that too many monitors and arcs have to be added, leading to a much more structurally complex petri net supervisor.

  现有的大部分死锁预防策略的主要缺点是对原网添加了过多的控制库所和弧，最终使得受控网的结构非常复杂。

• further more the general ghspn model of driver, vehicle, highway and environment simulation system is established that is the basic work of detail petri net establishment.

  建立了人车路与环境仿真系统ghspn模型，并研究了仿真系统时钟推进机制。

• this paper presents a novel inference mechanism to determine appropriate switching operations by the rule-expert knowledge-based petri net (rkpn) approach.

  本文提出了一种新的推理机制来确定规则的专业知识为基础的petri网适当的开关操作（rkpn）方法。

• this paper presents the structural definition, graphical representation and behavior-al rules for petri net extended petri net based representation for embedded system(epres) model.

  该文在分析现有petri网模型的基础上，提出了一种epres（extendedpetri netbasedrepresentationforembeddedsystem）模型，并具体给出了相应的结构定义、图形表示和行为规则。

• the petri net can effectively decrease the complexity of the net structure.

  该模型可以有效降低网络构造白勺复杂性。

• given a generalized petri net of which the transitions are all controllable and observable, a deadlock prevention algorithm is proposed in this paper.

  该算法基于将死锁防止问题转化为控制规范的迭代算法和将控制规范施加到被控对象上的有限容量库所方法。

• 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理论对多轴伺服控制的分析模型进行了压缩，表明该方法可有效精简具有相似结构的系统分析模型。

• hence we can get a structurally simple petri net supervisor.

  因此，可以得到结构较为简单的网系统。

• 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.

  由于严格极小信标的数目和网的规模成指数关系，所以大部分基于严格极小信标的死锁控制策略都面临着计算复杂性的问题。