The automated analysis tools based on the reachability tree algorithm of Petri net is developed.
开发了使用可达树算法的Petri网特性的自动化分析工具。
参考来源 - 基于Petri网的UML形式化研究In this paper, our work in Underwater Vehicle System modeling is listed as following. Firstly, we study an analysis method of performance based on reachable tree.
1.在理论上研究了基于可达树的系统性能分析方法。
参考来源 - 水下机器人系统的P/T·2,447,543篇论文数据,部分数据来源于NoteExpress
并将可达性图与可达性树进行比较,证明了可达图是较可达树更为有力的一种分析工具。
Compare the reachable tree and the reachable graph prove that reachable graph is better than reachable tree.
咖啡树是常绿植物,生长高度可达20英尺。为了收获简单,一般将树剪成8到10英尺高。
Coffee trees are an evergreen and grow to heights of 20 feet. To simplify harvesting, the trees are pruned to 8 to 10 feet.
为计算网页可达性,设计了计算到达网页路径的路径树生成算法(PTSA)。
To compute the page accessibility, a Path Tree Spanning Algorithm (PTSA) was introduced.
应用推荐