查询词典 Petri

And designs a new algorithm which can judge whether or not a given nonnegative integral vector corresponds to a friable trasition sequence. Then the algorithm is used to analyze the reachability of net system which has unique reachable vector or has no T-invariants.

4对可达性与可达方程可满足性相互等价的证明进行补充，给出一个判定非负整数向量是否为可执行向量的判定算法，最后利用该算法对唯一可达向量网和不含T-不变量的Petri网的可达性进行判定。

Management Information System. This paper describes how to use Petrinet specifying management model to develop large software systems.

本文以大型软件系统——MEMIS[1]系统的开发实践为例，提出了使用Petri网[2，3，4]描述管理模型和作为大型软件开发工具的思想。

This paper introduces protocol engineering,formal method and core technique formal description technique, and some of the most popular formal methods which have been widely used today, such as SDL, ESTELLE,Petri nets and LOTOS .

软件规模急剧增大，结构也越来越复杂，这就给通信网络协议的开发带来许多困难。

As mergence of modeling of enterprise, concept of workflow and the development of related technology, Petri Net is applied in this domain as well.

是工作流技术的应用，包括工作流实施技术在不同应用领域的应用方法、应用软件集成等。

Secondly, the monitoring and diagnostic integration concept was proposed for the hybrid system, based on this assumption, the monitor and diagnosis technology for running process of DMF recovering vaporizer was analyzed. The hybrid Petri nets information model describing the miscellany characterization for production process and controller model for diagnosis and decision were given. The combined propagation condition between equipment failure and heavy disturbance of continuous parameters was also discussed. The simulation results suggest that the methods in this work are valid.

其次，论文针对混杂系统提出了监控与诊断的集成概念，在此基础上进行了DMF回收蒸发罐运行过程的监控与诊断；建立了描述生产过程混杂特性的HPN信息模型和用于诊断决策的控制器模型，探讨了设备故障和连续参数大的扰动的合成传播问题，仿真结果说明了本文设计方法的有效性。

The major contribution of this thesis is introduce and develop Moment Generating Function Approach to performance analysis of Arbitrary Stochastic Petri Nets In which firing delays of transitions can be either deterministic or arbitrarily distributed random variable with a moment generating function.

在ASPN中，变迁的激活时延即可以是确知的或具有矩母函数的任意分布的随机变量。

This paper determined the olfactory respones of Tetranychus viennensis to different plants odors with "Y" olfactometer and petri-dish, volatiles from leaves of different plants were absorbed with SPME and analyzed with GC-MS (gas chromatograph-mass spectrometer). At the same time, the effects of different host plants on the development of Tetranychus viennensis were determined by means of the leaf-dish rearing method , in addition, the contents of some chemicals in the leaves of different plants were also determined.

本文用"Y"形嗅觉仪法和培养皿法测试了山楂叶螨Tetranychus viennenis Zacher对不同植物气味物质的嗅觉反应，并利用固相微萃取SPME吸附、用气相色谱—质谱联用仪GC-MS(gas chromatograph-mass spectrometer)分析了不同植物叶片的挥发性物质成分：同时采用海绵水盘法饲养山楂叶螨，研究了不同植物对山楂叶螨生长发育的影响，并测定了不同植物叶片中一些生化物质的相对含量。

A C/E system example and a P/T system example are presented in this paper respectively. Simulation results show the correctness of this method.

文章分别给出了C/E系统和P/T系统的实例，仿真结果表明基於Petri网元件的图形化设计方法的正确性。

The team paired fungal samples in petri dishes to see if they fused, a sign that they were from the same genetic individual, and used DNA fingerprinting to determine where one individual fungus ended.

他们采集了一些样品，与实验室培养的真菌比对，看它是否由多个相同的个体组成，并用DNA指纹技术分析它的遗传性质，确定组成它的每个成员的大小。

The culture of cells in a Petri dish.

有盖培养皿里的细胞培养。

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

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

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

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