查询词典 Petri dish

Deadlock control is proposed. Depended on the route of parts, used ObjectOriented technology, the static structure of machines is capsulated in a object subnet, is represented by a big place, a simplified colored Petri net is proposed.

基于系统中工件对机床的需求关系，利用面向对象技术把机床的静态结构封装为一个对象子网，用一个大位置表示一机床，提出了简化着色Petri网模型。

Considering the gap between academic research and real world application, the characteristic of manufactories of "much variety and little batch", this paper discusses the abstraction and modeling of the workshop performance using colored Petri net characterizing definite description of DEDS. And rule bases are applied into the model to tackle the dynamic events and disturbances with dynamic scheduling. After analysis on agile response of MES and integration of its scheduling model, by adopting distributed component technology the workshop scheduling model was capsulated as a scheduler to realize the scheduling module of MES easier to be integrated and rapidly reused. Finally a prototype of scheduler is proposed.

鉴于最优调度理论与实际调度应用的距离，以及多品种单件小批量车间生产的特点，本文以某模具制造企业生产车间为研究对象，利用对离散动态系统具有准确描述能力的着色 Petri 网对车间生产进行了抽象和建模；并通过向网系统中引入规则约束，为车间内的动态事件和扰动提供了动态调度；在对 MES的敏捷性及其车间调度模块的集成性进行了多方面分析后，利用分布式组件技术将调度模型进行了软件封装，以便为 MES 提供一个功能独立、易集成、可快速重用的生产调度模块；最后给出了一个 MES 车间调度服务器和调度室客户程序的原型实现。

Petri Net is an important model to discribe and analyse dynamic features of cocurrent systems.

Petri网是描述和分析含有并行成分的系统动态特征的重要模型。

In project risk management, the significations and algorithms of Activity Cruciality Index, Reference Point Completion Probability and project period risk in Petri Nets are studied.

系统地研究了工序进度风险水平、工期风险等指标在Petri网中的含义和计算方法。

Firstly, the thesis analyzes the content of behavior consistency of C~4ISR system requirement, researches the theory of behavior consistency validation based on executable model. Secondly, it analyzes the extense form of basic state chart, researches the grammar rules and formal description method of the transition-oriented state chart. Lastly, it brings forward the method for transforming TO_StateChart to Object Petri Net model, and based on executable model, researches the method of validation for behavior consistency between the state chart and sequence diagram.

论文首先对C~4ISR系统需求行为一致性验证的内容进行了分析，研究了基于可执行模型进行行为一致性验证的原理；其次分析了基本状态图的扩展形式，研究了面向转移的状态图(简称为TO_StateChart)的语法规则及其形式化描述方法；最后研究了TO_StateChart转换为对象Petri网模型的方法，并以此为基础，深入研究了基于可执行模型进行状态图和时序图之间行为一致性验证的方法。

Petri Net-based reference model is put forward. Studies on application of this model to hydroturbine governor are conducted.

提出了基于Petri网的参考模型，并对此模型在ICMMS体系的调速器中的应用进行了探索。

Carried on the synopsis introduction to the basic knowledge of the Petri net first;The next in order, introduced to carry on the inspectional basic knowledge of science and technology information.

是论文上的摘要本文的主旨在于研究关于Petri 网近10年的发展与应用。

In carrying on a great deal of inspectional foundation, carried on to the Petri net to probably induce in the application of each realm with the summary.

首先对Petri 网的基本知识进行了简要介绍；其次，介绍了进行科技信息检索的基本知识。

Because the Petri net can describe intuitionally system characteristics, such as the system's dynamic, asynchronous, concurrent and so on, it very suits to describe the Discrete Event Dynamic System such as logistics system.

本文首先对制造企业内部的几个基本生产过程中的物流进行了分析，分别建立了拉动式生产系统Petri网物流模型、推动式生产系统Petri网物流模型、流水线生产的Petri网物流模型及混合生产线的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.

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

He studied their excrement for evidence of livestock hair.

他为家畜毛的证据研究他们的粪便。

Loneliness is not grounds for deportation, deportation of the people are not all lonely people.

寂寞也不是放逐的理由，放逐的人也并不都是孤独的人。