查询词典 Petri

Almost all primary properties,such as safety, boundness and reversibility will be kept when a model istranslated by an engineering subnet.

该研究为在企业信息化系统中基于Petri网，利用层次化技术和分块模拟技术实现信息化系统开发与集成提供了理论基础。

The main results of this dissertation are covered in the follows aspects:(1) A type of structural formal decomposing method based on the classic links was proposed to analyze the main and important logic behavior properties, such as boundness, liveness and recyclity.

本文针对以PETRI网模型描述系统中出现的计算复杂性问题，提出一些方法以达到降低离散事件系统在建模、分析和控制中出现的计算复杂性的目的。

Their algorithm to find extensions is considered to be more efficient than the existing reconstruction procedure, and it is decidable.

我们提出的寻找外延的算法要比现有的重构过程更有效，且它是可判定的。关键词Petri网，推理维护系统，非单调

This abstract model and the existability rules derived from it can be used to form an ODP system, and also can be used for the implementation of trading function.

本文分析了交互及交互点的基本性质，并使用Petri网系统、模态逻辑和多值逻辑技术定义了交互的基本同步模型和基本异步模型，并将它们推广到双向和多向交互的情形。

He performed with many distinguished musicians, such as Sir Yehudi Menuhin, Maurice Andre, Michala Petri, Wanda Wilkomirska, Krzysztof Jakowicz, Janos Starker, Barbara Hendricks, Moris Bourge, Lidia Grzanka-Urbaniak, Guy Touvrone, Andrey Gridchuk, Grzegorz Nowak, Tadeusz Wojciechowski and Krzysztof Jablonski.

他先后和很过杰出的音乐家合作，如：梅纽因、莫里斯安德、米查拉·帕蒂莉、万达·维尔科米尔斯卡、克尔兹托夫捷可维茨、杰诺斯·史塔克、芭芭拉·亨德里克斯、米洛斯·博尔格、格热戈日·诺瓦克、塔德乌·沃伊切霍夫斯基、克日什托夫·雅布隆斯基等等。

In this paper, the preservation of liveness and deadlock-freeness is discussed for a synchronous synthesis process.

研究了Petri网系统同步合成操作活性与无死锁性的保持性。

In this paper,we have a research on the liveness of T-net,which is a kind of structure-simple Petri net.

T-网的活性问题，给出了各类T-网的活性判定定理并给出了判定算法。

In this paper,the definition and formalized description of Grid service churn and manageability are proposed.

文中提出了网格服务的干扰和可管理性的形式化描述及量化计算方法，并建立了描述干扰发生过程的网格系统随机Petri网模型。

These subnets are independently evaluated and then are substituted by the nonprimitive transitions as performance equivalence in the original model to achieve a state space reduc tion.

这篇论文提供了一种将大型随机高级Petri网模型构造成独立子网的方法和技术这些子网可以独立地进行性能评价，在原模型中子网可由非基本变迁进行性能等效替代，以达简化状态空间的目的。

The purpose of this study is to screen microorganisms with growth inhibition against plant fungal pathogens. The plate-dilution method was used to isolate the bacteria from salt marshes at Dafeng, Jiangsu. The antifungal activity of the bacterial broth filtrates against 5 phytopathogens was determined using mycelial disk method. The antifungal compositions of four active bacteria were analyzed primarily with chromatography techniques. Two hundred and thirty-five aerobic (92) and anaerobic (143) bacterial strains have been isolated from the coast salt marsh and sixty-five strains, of which 39 are aerobic and 26 are anaerobic showed greater than 30% of inhibition rate against the growth of at least one of the phytopathogenic fungi on petri dish.

为了开发对植物病原真菌生长有抑制作用的药源微生物，本实验采用平板稀释法从江苏大丰盐沼湿地土壤中分离微生物，并通过菌丝块法检测这些微生物代谢产物对5种植物病原真菌生长的抑制活性，进而利用柱层析分析其活性成分；结果共分离得到235株细菌，其中好氧细菌92株，厌氧细菌143株；体外活性测试结果显示有65株至少对1种测试植物病原真菌的抑制率在30%以上，其中好氧菌39株，厌氧菌26株。

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

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

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

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