查询词典 Petri

The united verification model base on Petri net is established.

建立了基于Petri网的知识校验模型。

Secondly, this paper puts forward the basic consideration about terminal simulation by inducting time parameter to coal terminal model on the base of Petri Net theory.

其次，以Petri网理论为基础，建立了散货煤码头工艺系统的理论模型，并在此基础上进一步分析了散货煤码头的动态特性。

On the basis of systematic formalization description and Petri network theory and it analyzes the internal logical relation and dynamic behavior of closed yard coal wharf logistics system, also the dynamic model of this system.

基于系统的形式化描述和Petri网理论，分析了煤炭码头物流系统的内部逻辑关系和动态行为，进而建立了系统的动态模型。

In a dynamic priority system,Σ is a bounded Petri net and D is a dynamic structure describing the priorities between the transitions of Σ.

文中提出一种动态优先系统，其中Σ是有界 Petri网，D是描述变迁之间优先关系的动态结构。

The structure of repetitive nets that involve a pair of transitions standing in quasi fair relation (extended but not weak fair relation) is discussed and a Petri net model of the handshake daisy chain arbiter is given.

文献 [1？ 5]对公平 Petri网的性质进行了系统的研究，其中包括给出判定一个网为公平网的几组充分必要条件。作为公平性的一个应用

First,the maximum likelihood decoding theory is adopted to correct the aberrated alarm.Toovercome the drawbacks of traditional models based on Petri nets,a new diagnostic modelbased on the elementary net is built.Then correct alarms are fed into the new model tocarry out the diagnosis process.

首先采用最大似然译码原理对监测到的信号进行信息校正，然后针对现有Petri网故障诊断模型难以准确模拟实际故障清除过程的问题，建立了基于基本网理论的故障诊断模型，并利用编码基本网理论对无畸变的信号进行故障诊断。

Ship ; probability Petri net ; fire ; burning area ; evaluation

舰船；概率Petri网；火灾；过火面积；评估

In verification methods based on Petri nets, the step has been widely applied to the decrease of the interleaving of transition firings.

在基于Petri 网的模型验证方法中，步被广泛用于减少变迁实施产生的语义交织。

Petri nets and process algebras are both most widely used formalisms for describing and analyzing discrete-event concurrent systems.

Petri网和进程代数作为研究离散、并发系统的有利工具，是最主要的两种工作流建模和分析方法。

The final goal establishes the PETRI net model of the organization interior integration to study the organizational structure and the dynamic behaviour.

在此基础上，运用PETRI网原理研究组织内部集成的结构和行为。

In the United States, chronic alcoholism and hepatitis C are the most common ones.

在美国，慢性酒精中毒，肝炎是最常见的。

If you have any questions, you can contact me anytime.

如果有任何问题，你可以随时联系我。