查询词典 Petri

In the middle of this paper, six kinds of basic Petri net flow modules which conform to Workflow model are put forward. The method of transforming Petri net flow model to XPDL and constructing Petri network using XPDL is given. These establish the base for different modeling method using Petri net. And these extend EJB task engine and Subprocess task engine of distributed Workflow Management System——Flowstep.

文章中心部分是提出了符合工作流元模型的六种基本Petri网流程模块，给出了由Petri网流程模型向XPDL转换的方法以及由XPDL构造Petri网的方法，为不同的建模方法利用Petri网分析技术奠定了基础；扩展了分布式工作流管理系统Flowstep的EJB任务引擎和子流程任务引擎。

To prepare studying hierarchical intelligent control system of material flows in mineral processing plant further, picturing, transition rulers, analytic methods, relevance matrix and dynamic equation, defect in applying of Petri network, fall short of orient object models applying are discussed after technology of formalization model built, non-formalization built and compound model. And Petri network system with time attribute is expanded opening network system with interface of input and output. The network system expanded with all attributes of basic Petri network model has hierarchy and recursiveness, can be analyzed with mathematical tools of network system and can deal with concurrent and asynchronously also.

为了对选矿厂生产物流递阶智能控制系统的进一步研究奠定基础，本文在讨论了形式化建模技术、非形式化建模技术和复合模型的基础上，研究和分析了Petri网的图形表示、变迁规则、分析方法、关联矩阵与动态方程、Petri网模型应用中的缺陷、面向对象模型应用中的不足，并把采用赋时的Petri网系统扩展成为对外界有输入和输出接口的开放网系统，扩展后的Petri网具有递阶性和递归性，同时保持基本Petri网的所有性质，使模型仍可采用网系统数学工具进行分析，并可处理生产物流系统中的并发性和异步性。

In order to solve the route search problem in stochastic Petri net, the feature of reliability is introduced into each transition, and suppose that the lifetime distribution of a transition obeys the Weibull distribution model, then a memorial stochastic Petri net with reliability whose elements can record a little information is proposed based on the ant colony optimization algorithm and features of the memorial stochastic Petri net.

为了解决随机Petri网的路径寻优问题，在变迁中引进了可靠性的特性，并假设变迁的寿命服从威布尔分布模型，然后根据蚁群算法和时间Petri网的特点提出了一种网络元素可以记录少量信息的带可靠性的记忆时间随机Petri网。

To use the Petri Nets graphical modeling sententiously and intuitively, the thesis is about the way to using Visual C++ development environment to develop a constitute and debug tool found on the Petri Nets GUI. The essential request is the stabilization of running, the simplicity of operation, the friendliness of the User Interface, and the utility and sufficiency of the functions. Users can draw and edit the Petri Nets model diagram through the standard GUI, and also can observe and debug the migration. It is also helpful to promote the applications.

为了更好的利用Petri网简洁、直观的图形建模方法，本论文旨在通过Visual C++开发环境开发一款基于图形界面的Petri网模型建立和调试工具，其基本要求是：运行稳定，操作简单，界面清晰友好，功能实用够用，用户可以通过标准图形界面的方式绘制，编辑Petri网模型图，并对其迁移过程进行观察和调试，便于推广应用。

Fuzzy logic rules are used in expert judgement for obtaining the fuzzy Petri net, on which basis a model is built for evaluation of weapon equipment. Then artificial neural network is introduced into the Petri net. Steepest Descent Method is used for training the parameters of fuzzy Petri net model. As a result, the model has great learning capability and high adaptability to complicated environment.

将模糊逻辑规则应用到专家评判中得到模糊Petri网，建立基于模糊Petri网的武器装备效能评估模型，并在此基础上将人工神经网络引入到模糊Petri中，在模糊Petri模型上，用迭代最速下降法对模型的参数进行学习和训练，经过学习和训练的模型具有很强的学习能力以及对外界环境的自适应能力。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

This thesis proposed Agent-based Petri net Modeling concept on the base of object-oriented Petri net modeling, which greatly decrease the complexity of Petri net models.

本文在面向对象的Petri网建模思想上提出了基于Agent的Petri网建模思想，大大降低了模型的复杂性。

Special research was made on how to use a Petri net to express compound event ECA rules,and an extended Petri net system was put forward.

ECA规则系统是一个复杂的规则系统，规则设计人员很难预测他们设计的规则会给数据库状态带来什么样的影响。

A numerical method is gived to distinguish that a Petri net is a time charac-teristic nets or not.The time characteristics of transmit are discussed and the density formula of transmit is given. stochastic petri nets ; time characteristic ; distractive matte

一般情况下，随机Petri网现有的分析方法大多是假定变迁的发射时间服从负指数分布，然后将网标识过程等价于连续参数马尔可夫过程，然后利用求解马尔可夫过程的一套数学方法来分析Petri网的时间特

SPNAnalyzer software system has a very friendly man-machine interaction interface, so the visualized modeling of stochastic Petri net is very intuitional and convenient. The response and handling of the Windows messages is extended to the graph tool module, so it is very easy to maintain. The class design of the element object module and the graph tool module guarantees the expansibility of the system. The crucial technologies including the reachability set algorithm of the stochastic Petri net model, the constitution of the homogeneous Markov chain, and the computation of the steady state probability are implemented. The design of the data structure adopts the linked list, so the execution of the algorithms is very efficient.

SPNAnalyzer软件系统具有非常友好的人机交互界面，使可视化的随机Petri网建模变得非常直观方便；将各种Windows消息的响应和处理延伸至图形工具模块，使系统的维护变得容易；元素对象模块和图形工具模块的类的设计使系统的可扩展性很好；实现了随机Petri网模型的可达集生成算法和同构马尔可夫链的构造及其稳定状态概率的求解等关键技术；数据结构的设计采用链表的形式，使各种算法都具有较高的执行效率。

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.

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