查询词典 Petri

Petri net is a kind of model fit for describing asynchronous and intercurrent phenomenon.

Petri网是一种适合于描述异步并发现象的计算机系统模型。

And a sufficient and necessary condition of existence of place invariant for a class of Petri net is proved .

本文以Petri网作为离散事件系统的模型，对控制理论与方法进行了较深入的研究。

This paper presents the Petri-based alarm correlation to be used to filter unnecessary or irrelative alarm and to help fault localization.

文章提出了基于Petri网模型的告警关联处理方法，用于过滤不必要的告警或无关的告警并有助于故障定位。

Furthermore, the structures and behaviors of the Petri net are described by using linear space and polynomial ring.

作者的主要工作在以下四个方面：1。给出了Petri网到线性空间的映射规则及其可达性的等价性定理；2。

First, a maximal deadly siphon can be obtained by using the mixed integer programming technique, and a monitor is added to a minimal siphon that needs to be controlled, which is derived from the maximal deadly siphon in order to ensure the controllability of all siphons of Petri nets.

首先对Petri网模型运用混合整数规划算法求取一个最大的死信标，然后从最大的死信标中求取一个需要受控的极小信标，并对其添加控制库所，从而保证所有信标的最大可控。

A polynomial algorithm about minimal marking of structural live Petri nets was presented. In an empty marking net, it was verified that the reproducibility can be held under operations. These results can be used in process mining.

本文还利用结构理论解决了结构活网到活系统的极小标识求解算法，并对Petri网的一类特殊性质：空标识可再生性进行了求证，解决了空标识可再生网在运算中的保持条件。

Based on some solvent recovery technology process, chemical miscellany performance has been discussed in this paper with the modeling method meanwhile. Then, the paper proposes a new controlling model method by using Time Petri Net to the miscellany process, which is also a start-up process. Then, the simulation software platform is developed.

本文以某化工溶剂回收的开停车过程为背景，分析了化工开停车过程这个混杂系统的行为特性和建模方法，在此基础上，研究了基于赋时Petri网的开停车过程系统建模与控制方法，并开发出相应的仿真平台。

This article will introduce a currency workflow modeling system, which is based on Petri net, and implement the function of model custom.

本文提出了一种基于Petri网的通用工作流建模系统，实现了工作流模型的自定义功能。

Based on the stipulations and arithemtic, Petri net function is controlled to produce bus transmitted sequence and capability data.

按照这些规约和算法控制Petri网的运行，可以产生优化的总线传输时序表和计算相应的技术指标

B The spleen is transferred into a 10 cm Petri dish containing 20 ml of complete RMPI medium.

脾脏转移到一个10厘米的Petri网内含20毫升细胞培育用的完全培养基。

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

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

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

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