查询词典 Petri dish

Concerning this problem, we put forward a kind of Stochastic Colored Petri Net, analyzed the limitary and reachable, and proved that SCPN is same as a continuous time Markov chain.

分析了它的有界性和可达性，证明了它同构于一个一维连续时间的马尔可夫链；同时，也分析了随机着色Petri网用于建模和系统性能定量分析的方法。

They play important roles in studying the liveness and fairness of Petri nets.

本文在对Petri网进行结构变化的基础上，研究了T-不变量、可重复向量、死锁间的关系，给出了一些新的算法去求解一个网的可重复向量与死锁。

In this paper,we have a research on the liveness of T-net,which is a kind of structure-simple Petri net.

T-网的活性问题，给出了各类T-网的活性判定定理并给出了判定算法。

By analysis of the Petri net model, two kinds of structural objects which can lead to system deadlock and the liveness characteristics of the system are obtained.

通过对系统Petri网模型的结构分析，提出了导致系统死锁的两类元素结构及活性特征。

Based on invariants of Petri nets, an approach to the enforcement of fairness and liveness is presented for classic automated manufacturing systems.

摘要基于Petri网的不变式理论，针对典型的自动制造系统，提出了Petri模型强制公平性和活性的方法。

The general parallelization method of Petri net system.

对Petri网系统并行化一般方法的研究。

The paper presented a positivistic petri nets simulation model of strategic army railway transportation,and studied the operation of the train simulation methods and the handling of unexpected events,and gave an example of simulation,the result of which are analyzed by indicators.

论文提出了大规模部队铁路输送的Positivistic Petri网仿真模型，研究了列车仿真运行的模拟方法和对突发事件的处理方法，并结合算例对仿真结果进行了指标分析。

Firstly, the plant is partitioned into several subplants according to their function, then sub-Petri-net models of every subplant are established.

为批处理过程特有的ZW与FW中间存储策略，建立了受控时间Petri网模型。

Workflow modeling based on the activity network is straight and wieldy. Petri network modeling has rigorous mathematics logic, firstly, this paper compares the two modeling method, secondly, this paper completes a modeling implement.

基于活动网络的工作流建模直观、易使用，Petri网的建模有严密的数学逻辑，在比较了二者的优缺的基础上，本文的工作流建模工具在表示方式上采用了活动网络的建模方式，在计算方法上采用了Petri网的建模方法。

In the end of the article, we modul AT e the system with Petri nets, and it can be proved minimizing the response, th AT is, improve the thru put.

通过petri网建模可以直观的得到：该方法通过并发执行缩短了响应时间，提高了吞吐量。静态通信的一个重要问题是私有网络的可访问性。

He studied their excrement for evidence of livestock hair.

他为家畜毛的证据研究他们的粪便。

Loneliness is not grounds for deportation, deportation of the people are not all lonely people.

寂寞也不是放逐的理由，放逐的人也并不都是孤独的人。