The reachability tree is established based on system's Petri nets model, so all the possible failure sequences of the system can be got. By calculating the probabilities of all the failure sequences, the dynamic reliability indexes of the system is obtained.

In this paper, a Web Services composition model based on model driven architecture is established. Using Petri Nets for its modeling, and using reachability tree nature of Petri Nets validates the model boundedness, accessibility, activity and integrity.

本文构建了一种基于模型驱动的Web服务组合模型，采用Petri网对其建模，并利用Petri网的可达树性质验证了模型的有界性、可达性、活性和完整性。

互联网摘选

By using of the characters of safe Petri nets, a place invariant generation algorithm which uses the reachability tree of safe Petri nets and complete graph of mth order with self-loop is presented.

利用安全Petri网的特点，提出一种由安全Petri网可达树和带自环的m阶完全图来计算位置不变式的生成算法。

互联网摘选

Then Stochastic Petri Nets is applied to modeling of a complicated hydraulic system. On the basis of the Petri Nets model, the dynamic characteristics of the system are analyzed and the reachability tree is established.

基于随机Petri网理论，论文完成了某复杂液压系统的动态可靠性建模，建立液压系统的可达树模型，并对液压系统的运行特性作出分析。

互联网摘选

But the model of Petri net is complex in structure and its reachability tree's states space explodes when it describes a complex system. It is difficult to carry out the performance analysis and synthesis.

但是当实际系统较复杂时，Petri网模型结构复杂、不直观、可达树状态空间爆炸、不易于进行性能分析和控制综合。

互联网摘选

It makes use of the reachability tree to analyze the correctness, safety, fairness, reachability and liveliness of the Petri nets model of security electronic payment.

根据可达树分析了电子支付协议Petri网模型的正确性、安全性、公平性、可达性和活性。

互联网摘选

High Level Petri Nets with marking variables is defined and it is shown that for this class of nets it is possible to construct efficiently the reachability tree.

本文定义了具有变量标识的高级Petri网并给出了构造该类网的可达树的算法。

互联网摘选

This paper proposes a Petri net model, presents a method to describe cryptographic protocol, and analyses the security based on this model in the RSA algorithm by using reachability tree.

本文提出用Petri网表示网络安全协议的方法描述现在普遍运行的RSA密码体系，并且对Petri的模型进行可达性分析从而验证了RSA的安全性。

互联网摘选

On the basis of reachability tree of Petri nets, boundedness, liveness and deadlock can be analyzed.

基于可达树的性能分析通过构造Petri网模型的可达树对其有界性、活性和死锁等性能指标做出了分析；

互联网摘选

On the basis of reachability tree and net structure, a new analysis method for the dynamic deadlock test was advanced, and the algorithm was given in this paper.

本文在可达树和网结构的基础上，提出了一种分析与检测动态死锁的新方法，并给出了相应的算法。

互联网摘选

Labeled reachability tree of Petri nets

Petri网的标注可达树

互联网摘选

The tree-chain structure of the reachability tree is beneficial to expanding various analysis algorithms of Petri net.

所生成的可达树的树链结构形式，利于展开Petri网的各种分析算法。

互联网摘选

The Application of Equivalent Marking for Reducing the Scale of the Reachability Tree is Pr/ T Net System

等价标识在谓词/变迁网系统可达树规模缩减中的应用

互联网摘选

The reachability tree is an important tool to analyze the properties of Petri Net.

可达树是Petri网性能分析的重要工具之一。

互联网摘选

This paper points out the mistakes of the current termination analysis algorithms for active rule set based on triggering and activation graphs, proposes triggering reachability and triggering reaching set, on the basis of which an amendment to the original algorithm is given.

指出基于触发图和活化图主动规则终止性分析算法的错误，提出触发可达和触发可达集，并在此基础上对原算法进行修正。

互联网摘选

In this paper, the reachability problems of target set and target tube as well as the estimation problems of the states of uncertain systems have been discussed by the application of the set theory.

本文从集合论的观点讨论了不确定性系统的目标集和目标管的能达性问题，以及状态估计问题；

互联网摘选

In the Attribute Petri Net, the start rule of transition and calculation of place marking are different from traditional Petri Nets. Therefore, we redefined APN transition fired condition, reachability marking set, the incidence matrix and status equation.

在属性Petri网中，变迁的启动规则以及库所标识的计算都有别于传统的Petri网，因此，本文重新定义了APN的变迁点火条件、可达标识集、关联矩阵和状态方程。

互联网摘选

But the exponential explosion of the reachability set of High Level Petri Nets is a major obstacle encountered in implementing efficiently algorithms to construe the reachability tree.

高级Petri网可达集空间随着网的复杂性而指数性增长是计算可达树问题中的一个主要难点。

互联网摘选

Causal Reachability of 2 D System

2D系统的因果能达性

互联网摘选

Aiming at linear hybrid Petri nets two methods are adopted to analyze state reachability of hybrid system, which are predicate-transformation method and path-based method.

论文针对线性混合Petri网，用两种方法进行状态可达性分析：谓词转换方法和基于路径的方法。

互联网摘选

The reachability of Petri-net System is the foundation of the state and action-analysis of system.

petri网系统的可达性问题是系统的状态、行为分析的基础。

互联网摘选