查询词典 Petri

In the project scheduling study, the algorithms of Simulation Critical Path and Activity Criticality Probability in Petri Nets are deduced based on incidence matrix.

利用关联矩阵方法系统研究了仿真关键线路、工序关键度等进度计划指标在Petri网中的计算方法。

Invert the petri dishes, and incubate for 48 to 72 hours.

倒置平皿，培养48至72小时。

The scholars pursuing the researches of DES come from the fields of automatic control as well as computer, communication, manufacturing and management science and so on.The research of DES mainly consists of system performance analysis and control synthesis. The present dissertation uses Petri nets as tool to study the controller synthesis of DES with inequality constraint.

制造系统(尤其是柔性制造系统FMS、计算机集成制造系统CIMS)、系统调度、通信网络、交通控制系统、随机服务系统、计算机操作系统、军事上的C_3I系统以及其他一些对现代文明的发展至关重要的系统等都是DES的典型实例。

A novel method for design of controller enforcing the constraints is presented. First the constraints involving the marking and Parikh vectors are transformed into the constraints involving Parikh vector only using Petri net state equality, and then the controller is constructed based on the viewpoint that a place can be seen as a linear inequality constraint on the Parikh vector.

该方法首先利用Petri网的状态方程把关于标识向量和Parikh向量的不等式约束转变成关于Parikh向量的不等式约束，然后基于Petri网库所是关于Parikh向量的不等式约束的观点构造控制器。

The EMM is suitable for the case that all F-type influentially uncontrollable subnets are normalized cascade Petri nets, and the advantage is that control patterns can be on-line computed within polynomial times.

各序状子网要么是无环网，要么是状态图的场合，该方法的优点在于在数学上有一标准的求解工具。

The CTM is suitable for the case that all E-type influentially uncontrollable subnets are state graphs, and the outstanding virtue is that the designed controller is explicit. The EMM is suitable for the case that all F-type influentially uncontrollable subnets are normalized cascade Petri nets, and the advantage is that control patterns can be on-line computed within polynomial times.

约束变换法适用于所有E-型影响不可控子网为状态图这种特殊的场合，用该方法所综合的控制器最大的优点在于所获得的控制器是显式的；特征标识法适用于所有F-型影响不可控子网为规范化序状Petri网这种场合，用该方法设计的控制器在线运算工作量是多项式可解的。

A new generalized object oriented Petri net model which can be used to evaluate the capability of equipment support was proposed. Its formal definition was given. The abstract place, abstract transition, message color and the message transferring function between objects were introduced in this model. This model has good modularity, inheritability, reusability, and maintainability, and can reflect flexibility and dynamic features of complex system. An example was given in the paper.

提出了一种可用于装备保障能力评估的增强型扩展的面向对象Petri网模型，给出了该模型形式化描述，引入了抽象库所、抽象变迁、消息颜色以及对象间的消息传递函数等新的概念，更好地体现了面向对象的思想，具有很好的模块性、继承性、重用性和可维护性，能够反映复杂系统的动态柔性特点，最后给出实例。

Petri net is a kind of model fit for describing asynchronous and intercurrent phenomenon.

Petri网是一种适合于描述异步并发现象的计算机系统模型。

And a sufficient and necessary condition of existence of place invariant for a class of Petri net is proved .

本文以Petri网作为离散事件系统的模型，对控制理论与方法进行了较深入的研究。

This paper presents the Petri-based alarm correlation to be used to filter unnecessary or irrelative alarm and to help fault localization.

文章提出了基于Petri网模型的告警关联处理方法，用于过滤不必要的告警或无关的告警并有助于故障定位。

Now she was hungry and angry.She began to smoulder.

现在她又饿又气，她开始流露难以抑制的怒火。

You have placed our iniquities before You, Our secret sins in the light of Your presence.

诗90：8 你将我们的罪孽摆在你面前、将我们的隐恶摆在你面光之中。