查询词典 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网的扩展理论和逐次迭代逼近算法，从理论分析角度深入分析了各种计算机网络的多项性能指标。

The knowledge representation of fuzzy diagnosis based on petri nets includes knowledge-base station, proposition, variance, input and output, and reliability and allusiveness.

基于模糊Petri网的知识表达是库所、命题、变迁、输入、输出及其可信度、影射等的集合。

In this dissertation, we discuss the decomposition and approximate solution of Stochastic Petri Nets.

本文讨论了随机Petri网的分解和近似求解问题。

Stochastic Petri Nets has good ability for dynamic analysis of concurrency, asynchronism and uncertainty of systems. It is particularly suitable for system modeling and dependability analysis.

随机Petri网对系统的并发性、异步性和不确定性具有很强的动态分析能力，特别适合系统建模和可信赖性分析。

Petri net is a kind of computer system model to describe asynchronous and intercurrent system.

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

Based on equivalent analysis theory, a practical performance of workflow system is simplified and analogized by four basic modules of random Petri net, and some functional parameters are obtained.

文中选用了基于随机Petri网的工作流系统模型性能等价分析理论，针对一个具体的流程实例，利用随机Petri网的四种基本模型对此流程进行了逐步地化简和分析，最后得到了一些性能指标参数。

The key technology for reconstructing the simulation models based on Petri net into HLA federates is discussed in order to explore developing the environment of integrating the simulation models based on PetriNet into HLA federation.

探讨了Petri网仿真模型改造为HLA成员的关键技术，为后续开发HLA环境下的Petri网仿真模型集成环境进行了初步的探索工作。

In this paper, a structural methodology for bottom-up synthesis of Petri Nets for IC Flexible Manufacturing Systems is presented for the first time. With the help of a guarantying policy of liveness, a live, bounded and reversible final model can be obtained by merging different submodels through what is called autonomy subnet sharing among them. To demonstrate the application of the method, a flexible manufacturing system of integrated circuits is modeled and analyzed using the proposed theory.

本文首次提出了一种面向集成电路柔性制造系统的基于共享&自治子网&融合和活性保证策略的&至底向上&的Petri网结构化建模方法，在理论上证明了该方法保证所得模型的活性、有界性和可逆性，并且利用该方法与着色Petri网结合，对一个集成电路柔性制造系统进行了全面的建模和分析。

New methods for solving the invariants and state equations of Petri Nets are developed in this paper.

研究了Petri网库所不变式和变迁不变式的一种求解方法，给出了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.

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