查询词典 Petri dish

A new generalized object oriented Petri net model which can be used to evaluate the capability of equipment support was proposed. Its formal definition was given. The abstract place, abstract transition, message color and the message transferring function between objects were introduced in this model. This model has good modularity, inheritability, reusability, and maintainability, and can reflect flexibility and dynamic features of complex system. An example was given in the paper.

提出了一种可用于装备保障能力评估的增强型扩展的面向对象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。

In order to extend simple logic constraint relations of single place versus transitions to complex cooperated constraint relations of multiple places versus transitions, the cooperation inhibit arc is presented. And it is combined to differential Petri net for modeling hybrid system with state feedback.

为使Petri网中单个库所对变迁的简单逻辑约束关系扩展到多个库所对变迁复杂的协同约束关系，提出了协同约束弧的概念，并将它与微分Petri网相结合，用以对具有状态反馈控制的混杂系统建模。

This paper introduces protocol engineering,formal method and core technique formal description technique, and some of the most popular formal methods which have been widely used today, such as SDL, ESTELLE,Petri nets and LOTOS .

软件规模急剧增大，结构也越来越复杂，这就给通信网络协议的开发带来许多困难。

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

As mergence of modeling of enterprise, concept of workflow and the development of related technology, Petri Net is applied in this domain as well.

是工作流技术的应用，包括工作流实施技术在不同应用领域的应用方法、应用软件集成等。

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网的一类特殊性质：空标识可再生性进行了求证，解决了空标识可再生网在运算中的保持条件。

More direct, directer ; most direct, directest

径直的，笔直的

Do you know how to use a chain saw?

你知道如何使用链锯吗？