查询词典 Petri

After that, the model is validated safety and reliable by using the State Matrix Equation of the Petri network. According to the theory that the State Topological Map of Petri Network and Markov chain are isomorphous, the Markov chain of the model is deduced, by which some function indexes such as marked density of probability, average token-number, and usage of transformation can be calculated.

同时，本文运用Petri网系统的状态矩阵方程的方法对模型进行了可达性验证，经验证该模型是安全可达的，并根据随机Petri网的状态图同构马尔可夫链的原理，获得该模型的马尔可夫链，运用该MC链分析了模型的标记概率密度、位置中的平均标记数以及变迁的利用率等性能指标。

Firstly, a hybrid system about the start-up process of a leatheroid's DMF recovering plant has been studied, the hierarchical control model of this system was built using timed Petri nets and hybrid Petri nets theory. The monitoring method of start-up process was discussed by studying the coordination layer of this model, and the reachability method was adapted to analyze this model.

论文首先对混杂系统——人造革DMF回收开车过程进行了研究，结合赋时Petri网和混合Petri网建立了其递阶控制模型；通过对其协调层的深入讨论，研究了开车过程的监控问题，采用可达性等方法对模型进行了分析。

There are two main analysis techniques of Petri nets, one of which is invariant method. The invariant method is a linear algebraic analysis based on the matrix representation of Petri nets.

Petri网的分析方法有二种：可达树和不变量分析方法，其中，不变量分析方法是一种将矩阵描述应用于Petri网的线性代数分析方法。

Owing to the complexity of CIMS' missions,the reliability modeling should adapt the production processes accurately.Conventional reliability model method can not reflect the time dynamic behavior of CIMS,so the multitask reliability model based on generalized stochastic Petri nets is established for a CIMS manufacturing shop with multiple missions and the process times of the machines with exponential distributions.Furthermore,analysis of GSPN model based on behavior expression and moment generating function is presented,then can compute the transfer functions.Finally,the multitask reliability can be easily obtained without the reachability graph of Petri nets,which measure can reflect the operating performance of the whole multitask CIMS more intuitively.

CIMS生产的复杂性要求其可靠性模型可以精确地反映生产过程，由于传统的可靠性建模方法无法兼顾CIMS的时间动态特性，所以针对一个复杂的有多个加工任务的CIMS制造单元，由于其机器加工工件的时间均为指数分布，则采用广义随机Petri网进行多任务可靠性建模，在此基础上基于Petri网行为表达式，将矩母函数思想引入其中，不必生成可达标识图就可通过计算模型的传递函数，进而得到整个系统的多任务可靠度，该可靠性指标可以更直观地反映具有多种加工任务的整个CIMS的运行性能。

This paper proposes a time Petri net extended with price information—Price Time Petri Net.

提出一种扩展了价格信息的时间Petri网--价格时间Petri网。

The deadlock avoidance policy presented in this thesis uses partial reachability graph of the Petri net and the major advantage of these techniques is that they are suitable for a much larger class of ordinary Petri nets than that of the most existing deadlock avoidance policies and the supervisory control is maximally permissive.

新算法只是计算出网系统的部分可达标识图，它在保证系统是无死锁的前提下最大限度的降低了对系统的约束并且适用于一般网的情况，因而它比现有的方法具有更大的实用性。

In order to evaluate the capability of lignin degradation and pitch elimination from Masson pine chips by nature white-rot fungi, 20 white-rot fungus strains were obtained by petri dishes screening and petri dishes color-reaction screening. One G strain with the lowest Mycel/Col value was then inoculated onto the surface of Masson pine chip, and the degradation rates of lignin and pitch were measured after 3, 5, 7, 9 days, respectively.

为评价从野外筛选得到的白腐菌对造纸原料马尾松的木素降解和树脂脱除能力，将带菌样本经室内平板初筛及平板变色反应复筛，得到了20株纯白腐菌菌株，并对变色系数最小的一株菌株G进行松木片固体接种试验，测定3、5、7、9天后松木片的木素、树脂降解情况。

In order to evaluate the capability of lignin degradation and pitch elimination from Masson pine chips by nature white-rot fungi,20 white-rot fungus strains were obtained by petri dishes screening and petri dishes color-reaction screening.

为评价从野外筛选得到的白腐菌对造纸原料马尾松的木素降解和树脂脱除能力，将带菌样本经室内平板初筛及平板变色反应复筛，得到了20株纯白腐菌菌株，并对变色系数最小的一株菌株G进行松木片固体接种试验，测定3、5、7、9天后松木片的木素、树脂降解情况。

To use the Petri Nets graphical modeling sententiously and intuitively, the thesis is about the way to using Visual C++ development environment to develop a constitute and debug tool found on the Petri Nets GUI.

为了更好的利用Petri网简洁、直观的图形建模方法，本论文旨在通过Visual C++开发环境开发一款基于图形界面的Petri网模型建立和调试工具，其基本要求是：运行稳定，操作简单，界面清晰友好，功能实用够用，用户可以通过标准图形界面的方式绘制，编辑Petri网模型图，并对其迁移过程进行观察和调试，便于推广应用。

We prove the equivalence of coloured petri net and extented coloured petri net in teachability space.

针对有色Petri网在建模能力方面的限制进行若干扩展，提出了一种扩展有色Pertri网，增加了容量限制及阈值弧函数，这将丰富CPN模型的语义，增强CPN对系统的描述能力，有助于大型复杂系统的建模，在此基础上证明了ECPN与CPN从可达空间的角度来说两者之间的等价性。

Liapunov—Schmidt method is one of the most important method in the bifurcation theory.

Liapunov—Schmidt方法是分叉理论的最重要方法之一。

Be courteous -- even when people are most discourteous to you .

要有礼貌──即使当別人对你最不礼貌的时候。