查询词典 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 网的基本知识进行了简要介绍；其次，介绍了进行科技信息检索的基本知识。

Concerning this problem, we put forward a kind of Stochastic Colored Petri Net, analyzed the limitary and reachable, and proved that SCPN is same as a continuous time Markov chain.

分析了它的有界性和可达性，证明了它同构于一个一维连续时间的马尔可夫链；同时，也分析了随机着色Petri网用于建模和系统性能定量分析的方法。

They play important roles in studying the liveness and fairness of Petri nets.

本文在对Petri网进行结构变化的基础上，研究了T-不变量、可重复向量、死锁间的关系，给出了一些新的算法去求解一个网的可重复向量与死锁。

By analysis of the Petri net model, two kinds of structural objects which can lead to system deadlock and the liveness characteristics of the system are obtained.

通过对系统Petri网模型的结构分析，提出了导致系统死锁的两类元素结构及活性特征。

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

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

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

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