查询词典 Petri

From the modeling experiences of CTD service with Petri nets, universal coupling criteria of Petri nets model of protocol conversion are abstracted, which enrich the protocol conversion methodology.

在用Petri网对CTD业务的建模过程中提炼出通用的Petri网模型协议转换耦合原则，丰富了协议转换方法学的内容。

In building the simulation models for manufacturing missions, based on the combination with the multi-agent method and the GOOPN method, the compoundable method is presented, which makes the models more intelligent. Based on the result above, combined with the GOOPN models and the GERTS model, we put forward EPN-GERTS model through embedding Petri net into GERTS model, which can simplify the complexity in building models, and also improve the defects of GERTS model in describing resource conflicts and Petri net model in building models. In building the simulation models for development missions, the improved GERTS model is present to describe the development processes in QRMS. Through dynamically computing the redo times in GERTS, the improved model can reflect the operation character of development process. The simulation results are more precise when we use the models above.

针对构建快速研制系统的仿真对象问题，提出了基于多Agent的快速研制系统可靠性复合仿真建模方法，增强了仿真模型的智能性；在此基础上，针对制造任务，将Petri网嵌入到GERTS网中，提出了用于快速研制系统制造任务可靠性仿真的EPN-GERTS模型，简化了建模过程，同时也能考虑任务之间的资源冲突；针对研制任务，提出了用于快速研制系统研制任务可靠性仿真的改进GERTS模型，该模型可以描述设计迭代过程的动态运行特点，使仿真结果更加准确。

The liveness is an important property for Petri net,and it is difficult to decide whether a Petri net is live or not.

Petri网的活性反映了实际系统的无死锁性。本文讨论了一类结构简单的Petri网？

Fig.1 SHEE cultured on coverslide, the living cells were growing in single layer with rich cytoplasm, the nuclei were uniform in size with a nucleolus ph ×400 Fig.2 SHEE had a nucleus with ellipse shape, large nucleolus and the cytoplasm contained mitochondria and tonofibrilEM ×10 000 Fig.3 SHEE was spherical in shape, with pseudopods attached on petri dish and abundant villi on cell surface SEM ×5 000 Fig.4 Same as in Fig.3, cell attached on petri dish, appeared stellate or polygonal in shape, with abundant pseudopods and cytoplasmic processes. Protrusive nuclear region in central part of the cell had more micro-villi SEM ×5 000 Fig.5 Chromosomes of SHEE cells belonged to diploidy type Giemsa ×1 000 Fig.6 The SHEE cells of stained in dark brown by Ki67 immunohistochemistry were the proliferative cells Immunohistochemistry ×400 Fig.7 In SHEE cell culture, the nucleus stained red or pink by PI was dead cell, the green nucleus was living cell Fluorescent ×400 Fig.8 The cell labeled by TdT was apoptotic cell in which the chromatin of nucleus condensed in block, a pyknotic nucleus in the upper right conner was seen TdT labeled ×400

图1 SHEE培养在盖坡片上，活细胞单层生长，胞浆较丰富，细胞核大小一致，有核仁×400 图2 SHEE培养细胞细胞核椭圆形，核仁较大，胞浆有较丰富的线粒体和张力原纤维EM ×10 000 图3 SHEE细胞呈球状，有伪足贴壁，表面有密集微绒毛SEM ×5 000 图4 同上细胞贴壁，呈星状或多角形，有丰富伪足和胞浆突，核区隆起有较多微绒毛SEM ×5 000 图5 SHEE细胞染色体仍属二倍体Giemsa染色×1 000 图6 SHEE细胞Ki67免疫组织化学染棕黄色为增殖细胞×400 图7 SHEE培养细胞出现死细胞，胞核和胞浆PI染色呈红色或淡红色，蓝色细胞核为活细胞荧光显微镜×400 图8 细胞TdT标记阳性为凋亡细胞，染色质凝集呈块状，右上角有一固缩细胞核TdT标记×400

Oriented to the knowledge processing in IHS, in order to design a tume Petri nets efficient algorithm for temporal knowledge reasoning the dissertation makes full use of the efficiency of Petri nets for knowledge processing and the model of train group operation.

针对智能混杂系统的知识处理问题，在已经建立的列车群运行系统的对象Petri网模型的基础上，本文利用Petri网对知识的处理能力，给出了一种有效的时间Petri网的时间知识推理算法，由于算法中引入模糊时间区间的操作、保留了最少数量的生成图节点，所以该算法比已有的算法效率高并可处理时间区间的不确定性问题。

This dissertation fistly introduces appearance, definition, development process, functions and status of MES, also analyses methods and existent problems of MES production scheduling; as follow, in the background of CY_MES (a enterprise's Manufacturing Execution System), introduces main function and buildup of its support platform– SIMATIC IT, and whole structure of CY_MES; afterwards, for special production instance of the enterprise, designs production scheduling system software structure, function structure, data structure of order and entry and realization of silk production and packing production scheduling based on SIMATIC IT; finally, after contrast of many modeling methods and careful research of silk production flow of the enterprise, selects Petri net to model the silk production scheduling, for the sake of avoiding many error chromosomes, improves on the basic genetic algorithm, uses sigle unit genetic algorithm to optimize the Petri net model, lists the contrast of scheduling results.

本文首先介绍了MES的产生、定义、发展历程、功能及其发展现状，同时也分析了MES生产调度问题的各种解决方法及其存在的问题；接着以CY_MES为背景介绍了其支撑平台——SIMATIC IT平台的功能及其各组成部分，以及CY_MES的SIMATIC IT整体解决方案；紧接着在SIMATIC IT平台基础上，针对该烟厂的生产实际情况，设计了CY_MES生产调度系统的软件结构、功能结构、工单和子工单的数据结构和制丝与卷包生产调度的实现方式；最后，在比较了各种生产调度建模方法的利弊和对该烟厂制丝生产工艺流程深入研究后，利用Petri网建立了制丝生产调度模型，为了避免大量无效个体的出现，对基本遗传算法进行了改进，采用单个体遗传算法对这个Petri网模型进行了优化，并给出了调度结果的对比。

Fault propagate model to obtain and combine present prevailing large amount of information, neuron network,etc. method most model, Direct against fuzzy Petri network give and publish undering the jurisdiction of degrees of algorithm of function concrete their; Petri network reasoning method combine trouble tree forward reasoning reverse algorithm of reasoning mainly, The concrete instance of connection is analysed and compares; Participate in potato cake production line background that design with author finally , combine on-the-spot characteristic of equipment, Set up one fault diagnose concrete model of expert system.

故障传播模型的获取结合了当前流行的最大信息量、神经元网络等方法，并且针对模糊Petri网给出了其具体的隶属度函数的算法；Petri网推理方法主要结合故障树正向推理反向推理的算法，联系具体实例进行分析和比较；最后以笔者参与设计的薯饼生产线背景，结合现场设备的特点，建立了一个故障诊断专家系统的具体模型。

At the same time Petri Net is a kind of abstract mathematics sign, and does not keep problem field a intuitionistic view.

在讨论Petri网与结构化建模方法相结合时，从功能分解的角度的入手，引入了约束集的概念。

ABSTRACT This dissertation proposes a number of extended theories of stochastic Petri net and other algorithms to evaluate the performance of various computer networks.

本文提出了一系列随机Petri网的扩展理论和逐次迭代逼近算法，从理论分析角度深入分析了各种计算机网络的多项性能指标。

Algorithms of task decomposing and service scheduling are proposed by using directed acyclic graph and high level stochastic Petri net.

由于OGSA认为"一切都是服务"，包括计算资源、存储资源、网络、程序、数据库、仪器设备等在内的资源也是一种服务[3]。

The network space is the typical form of abstract space when it comes to the digital stage.

网络空间是抽象空间数字化阶段的典型形式。

The Notarial System,as the system of judicial certification in our country,is both the constructor and the defender of social credit system,It has its special value and function in the social honesty.

公证制度作为我国司法证明制度，既是社会信用体系的建设者，同时也是社会信用的捍卫者，在诚信中有其特殊的价值和功能。