查询词典 Petri

Invariants can be calculated from incidence matrix and used to analyze the properties of systems.

根据Petri网的关联矩阵，解得它的不变量，就可以分析系统的某些特性，如安全性、有界性、守恒性、死锁等等。

However, they can be carried out by transformation of the incidence matrix. And they are all concise and easy to be understood by readers and performed by computers.

本文中求解算法的理论基础均是基于网结构的变化，但事实上，这些算法均可通过对Petri网的关联矩阵实施初等变换来完成，算法简洁，容易理解与实现。

The concept of HLPN should be understood along the four levels of node, extending, incidence matrix, and initial marking.

ISO/IEC15909从构成角度给出了高级Petri网的定义，对其的理解分为结点、扩展、关联矩阵和初始标识四个层次。

Invert the petri dishes, and incubate for 48 to 72 hours.

倒置平皿，培养48至72小时。

Finally, in order to enforce the given inequality constraint, a constraint transformation method for the marked graphs is proposed due to accounting for uncontrollable transitions in the net.

最后，本文还研究了在由标识图建模的DES的框架下，为了实现给定的不等式约束而必须考虑Petri网中不可控变迁的影响而进行的约束变换的方法。

The WEA method is a method of synthesizing controller for DES by using weighted enabling arc is applicable to enforce'greater-than-or-equal-to'marking inequality constraint.

接着，利用扩展Petri网，提出了DES的PN控制器设计的两种对偶的方法：加权抑制弧方法和加权使能弧方法。

The scholars pursuing the researches of DES come from the fields of automatic control as well as computer, communication, manufacturing and management science and so on.The research of DES mainly consists of system performance analysis and control synthesis. The present dissertation uses Petri nets as tool to study the controller synthesis of DES with inequality constraint.

制造系统(尤其是柔性制造系统FMS、计算机集成制造系统CIMS)、系统调度、通信网络、交通控制系统、随机服务系统、计算机操作系统、军事上的C_3I系统以及其他一些对现代文明的发展至关重要的系统等都是DES的典型实例。

The computation of the infinitesimal generator matrix of the stochastic marking process underlying the First order FSPN model is described, which accounts for the transition rates among discrete tangible states. After that the transient state and steady state equations for the probability density functions describe the stochastic marking process are presented.

在说明了一阶流体随机 Petri 网随机标识过程在离散实存状态空间的转移速率矩阵等的计算方法后，给出了描述随机标识过程状态的概率密度函数在暂态和稳态情况下满足的方程。

The EMM is suitable for the case that all F-type influentially uncontrollable subnets are normalized cascade Petri nets, and the advantage is that control patterns can be on-line computed within polynomial times.

各序状子网要么是无环网，要么是状态图的场合，该方法的优点在于在数学上有一标准的求解工具。

The CTM is suitable for the case that all E-type influentially uncontrollable subnets are state graphs, and the outstanding virtue is that thedesigned controller is explicit.

线性整数规划法适用于不可控子网是序状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.

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