查询词典 Petri

A numerical method is gived to distinguish that a Petri net is a time charac-teristic nets or not.The time characteristics of transmit are discussed and the density formula of transmit is given. stochastic petri nets ; time characteristic ; distractive matte

一般情况下，随机Petri网现有的分析方法大多是假定变迁的发射时间服从负指数分布，然后将网标识过程等价于连续参数马尔可夫过程，然后利用求解马尔可夫过程的一套数学方法来分析Petri网的时间特

SPNAnalyzer software system has a very friendly man-machine interaction interface, so the visualized modeling of stochastic Petri net is very intuitional and convenient. The response and handling of the Windows messages is extended to the graph tool module, so it is very easy to maintain. The class design of the element object module and the graph tool module guarantees the expansibility of the system. The crucial technologies including the reachability set algorithm of the stochastic Petri net model, the constitution of the homogeneous Markov chain, and the computation of the steady state probability are implemented. The design of the data structure adopts the linked list, so the execution of the algorithms is very efficient.

SPNAnalyzer软件系统具有非常友好的人机交互界面，使可视化的随机Petri网建模变得非常直观方便；将各种Windows消息的响应和处理延伸至图形工具模块，使系统的维护变得容易；元素对象模块和图形工具模块的类的设计使系统的可扩展性很好；实现了随机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网。

With the use of Petri net simulator,nondirectional trans...

即用Petri网图仿真器把无向运输网络转化为有向运输网络，然后求有向运输网络 G的对偶网络 DG，再用 Petri网图仿真器将对偶网络 DG转换成 Petri图模型，并自动求得 DG最短路(原网络 G的最小割容量)，即运输网络最大流。

From the modeling experiences of CTD service with Petri nets, universal coupling criteria of Petri nets model of protocol conversion are abstracted, which enrich the protocol conversion methodology.

在用Petri网对CTD业务的建模过程中提炼出通用的Petri网模型协议转换耦合原则，丰富了协议转换方法学的内容。

The liveness is an important property for Petri net,and it is difficult to decide whether a Petri net is live or not.

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.

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