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

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网系统的可达性问题是系统的状态、行为分析的基础。

互联网摘选

The reachability degree and its matrix character have been done, when the maximum strong component is defined. On the basis of the maximum strong component, the standard form in Fuzzy Matrix is given, and the maximum reachability degree analysis of the network is realized.

在完成了可达程度及其矩阵刻画的基础上，提出了极大强支的概念，由之建立了模糊阵的一种标准型，实现了对网络的最大可达程度分析。

互联网摘选

The model is validated by reachability tree and state matrix equations of Petri Net, and the validation result is that the model can be reachable.

同时，本文运用Petri网系统的可达树方法和状态矩阵方程的方法对模型进行了可达性验证，经验证该模型是安全可达的。

互联网摘选

Reachability matrix is an effective tool for identifying whether a directed graph to be strongly or weakly connected graph, it provides the calculating method of reachable matrix with the property of the Boolean matrix operation, the calculation method is easy and simple.

可达矩阵是判别一个有向图是否为强连通图或弱连通图的有效工具.利用布尔矩阵的运算性质给出了计算有向图可达矩阵的方法，该方法计算简便。

互联网摘选

A way of fuzzy cluster is provided, which is combined with reachability matrix and the idea of region partition in graph theory, in order to find out the number of the hidden layer nodes of RBF neural network.

本文提出一种同图论中可达矩阵和区域划分思想相结合的模糊聚类方法，以此来确定RBF网络的隐含层节点数。

互联网摘选

An improved algorithm for process topology analysis has been proposed and programmed in ALGOL 60. By means of a comparative study, the author decided to use reachability matrix technique for identification.

对化工流程的拓扑分析，提出了一种改进算法，并用ALGOL60语言编写了程序。注重对学生创新能力的培养。创新能力因子；

互联网摘选

It is proved that there is no need to calculate the reachability matrix for a Directed Acyclic Graph ( DAG).

证明了对于一类特殊的有向图即有向无环图（DAG），应用解释结构建模法无须求解可达矩阵亦可保证建模结构化的实现。

互联网摘选

The paper also introduces the adjacency matrix and the reachability matrix expressing the connectivity between two sites and reachability after "a certain path".

引入邻接矩阵和可达矩阵描述了两两站点的直接相连关系和经过一定长度通路的可达程度。

互联网摘选

Moreover, introduce the idea of reachability matrix, by which, figure out the average transfer times and come out the arithmetic.

引入了可达矩阵的概念，利用可达矩阵计算出了公交线网的平均换乘次数，并给出了算法。

互联网摘选

New Formula of Reachability Matrix

可达矩阵的新求法

互联网摘选

Discuss the Way of Reachability Matrix

关于可达矩阵的求法探讨

互联网摘选

Petri net is a kind of good tool to describe concurrent and asynchronous system, there are many methods to analyze Petri net, such as reachability graph, reachability tree, incidence matrix and so on. However, its correctness can be proved by mathematics method.

Petri网是一个描述异步并发的图形工具，具有可达树、可达图、关联矩阵等多种分析方法，并且可以通过数学方法来证明其正确性；

互联网摘选