查询词典 Petri

In the paper, we put forward a modeling and verification method based on temporal Petri nets.

本文基于时序Petri网，提出了相应的分析和验证方法。

A kind of web models of software developing based on improved Petri Net is introduced.

依据网络的并发性以及任务的流程性，提出一种基于Petri网的软件开发模型。

And, this paper is focus on studying the significance of Petri net in asynchronous circuit and designing asynchronous circuit based on STG and Petrify.

并且主要研究Petri网在异步电路设计中的重要意义，研究基于信号转移图(Signal Transition Graphs，STG)与Petrify的异步电路设计。

Petrify is a EDA tool for designing asynchronous circuit basing on Petri net,it has powerful function and convenient to manipulate.

Petrify是一个支持基于Petri网设计异步电路的EDA软件，其操作简单功能强大，可以通过这个软件设计出速度无关异步电(来源：35ABC论2525文网www.abclunwen.com)路。

Pipet 1 mL of the final dilution onto each of two sterile petri dishes.

移取1mL最终稀释液到1个无菌平皿，共做两个平皿的平行样。

The firing predicative,stochastic switch and firing rate can be directly implemented in Stochastic Petri Net software.

因此，对网格资源的管理实际上可以抽象为对网格服务的管理。

Our main products are : Swiss Kuhner Shakers \Swiss Integra Biosciences Products (Cell Spiner, Cell Roller, Automatic Media Preparator, Automatic Petri dish filler, Intelligent multi purpose dosing pumps, Safety vacuum aspirator, Safety burner, Electrical Pipet) \Swiss TPP Cell culture accessories\Autoclaves from Germany\PBI International Air Sampler from Italy and

主要产品有：瑞士阿道夫科耐摇床、IBS细胞培养设备(细胞培养滚瓶机、细胞培养转瓶机、全自动培养基分装机、自动分装泵、火焰灭菌器、真空吸液仪、电转移液枪等等)）、TPP细胞培养器材、德国SYSTEC高压蒸汽灭菌器、意大利空气采样仪等。。。。。。

In the proposed formulation, the fluid jump arc of Second order Fluid Stochastic Petri nets, which takes deterministic jump height, is introduced for the sake of modeling impulse rewards. In order to model non-Markovian stochastic systems, the fluid jump arc is combined with the flush-out arc. As a result the fluid jump arc as a modeling primitive has the function of emptying in zero time the existing fluid from the continuous place connected with it.

为方便利用该机制建模冲量回报，引入二阶流体随机 Petri 网中的流体跳跃弧，跳跃弧的跳跃高度取确定值；为方便建模非马尔科夫随机系统，将清空弧与流体跳跃弧结合，使得流体跳跃弧作为建模原语直接具有瞬间内清空与之相联接的连续库所的功能。

For managing product development process of industrial enterprise in effect, method of constructing process model based on ProA modeling unit is put forward based on applying IDEF0, hierarchy Petri nets, object-oriented and analyzing relationship between activity and process.

为了有效对制造企业产品开发过程管理，在应用IDEF0模型、分层Petri网和面向对象设计方法并在分析活动和过程关系的基础上，提出了基于活动及其实现过程建模单元的过程模型的建立方法。

A new type of timed fuzzy Petri netapproach to prognostication and diagnosis of abnormal events was proposed in this paper.

为此提出了一类赋时模糊Petri网模型，用于化工过程异常事件的预测与诊断，tFPN的变迁与产生式规则的可信度和时间相关联，可自动进行模糊推理。

Dixie itself is a nickname for the American South.

Dixie 本身是美国南部的别称。

I think John Terry epitomises that and a big reaction is what we will be looking for.

而我认为特里就是这样一个典型，他正是我们期望看到的那个领秀。