查询词典 Petri

Petri Nets is a graphics and digital system modeling tool, which provides an efficient way to describe and analyze the complex system that is concurrency, asynchrony, distributivity, or nondeterminacy.

摘 要：Petri网作为一种图形化、数学化的系统建模工具，为描述和分析具有并发性、异步性、分布式、非确定性等特征的复杂系统提供了强有力的手段。

The requirement of control system specification constantly and diversely changes which results in the problem that the control software is hard to program and test. In order to deal with the problem, the theory of control system design based a high level extended Petri net is discussed in this paper.

为了解决现代控制系统的规模越来越大，柔性要求越来越高，所导致的控制软件的编制和调试越来越难的问题，本文主要探讨了基于一种高级扩展Petri网的控制系统设计理论。

Dubois [23] was the first to model and analyze FMS using timed Petri net.

Dubois和Stecke〔23〕最先采用分时Petri网为FMS建模和分析。

Second, based on binary search, an efficient algorithm is proposed for finding aset of elementary siphons given a set of strict minimal siphons of a Petri net.

第二，在已知Petri网中部分或全部严格极小信标的条件下，提出了一种基于二分法原理确定一组基本信标的快速算法。

Afterwards they were cultivated in Petri dish in the constant temperature incubator in Knop until the length of epicotyl of broad bean was perhaply 3 cm that could be treated by ultraviolet B radiation.

当蚕豆的上胚轴长到大约 3cm时，在光背景为 70μmol· m- 2 · s- 1条件下，分别用 1 。0 2、3.0 3、4.52 k J· m- 2 的 UV- B辐射蚕豆的上胚轴 7h。

Also, the general solutions of the firing vector in the state equation of a Petri net are proposed.

这些方法都是基于网关联矩阵的满秩分解。

Greater portions of this apocryphon are translated in the so-called "Actus Petri cum Simone", and likewise in Sahidic and Slavonic, Arabic, and Ethiopic versions.

大部份这apocryphon翻译所谓的"现实的Petri暨西蒙娜"，同样在Sahidic和斯拉夫语，阿拉伯语，和埃塞俄比亚的版本。

I use a Petri finder, it's close enough to 35mm to be very useful.

我使用的petri搜索器，它的足够接近35毫米是非常有益的。

The probability Petri net was used to model the process of the ship fire.

运用火灾动力学与统计理论耦合的火灾风险评估方法，对舰船火灾危险性进行评估。

In order to be adapted for application of multimicroprocessors,Petri net model of parallel systems is par tially interpreted[1]with various semantics in which places may be interpreted as a fixed length vector with token,and transitions may be interpreted as an process.

为了适应多微处理机的应用，本文用多种语义给予表示并行系统的 Petri 网模型以半解释，其中 p 结点可被解释成带引燃号的定长向量，t 结点可被解释成过程。

In contrast to the ubiquitous rising-sun-with-rays military flag of the Japanese, Chinese banners and ensigns feature a range of designs.

与遍地都是的太阳军旗不同，中国人的旗帜和徽章设计得各式各样。

From their small corner of Feng's Guangzhou headquarters -- a jumble of pink leashes, squeezable rubber steaks, and plastic doggy Santas for Fido's stocking -- Soleil's designers come up with at least five new products a month.

从Feng 设在广州总部的产品展示柜台上可以看到，Soleil的设计师每月至少设计出5件新产品。