improved reachability tree 改良可达树
reachability tree analysis 可达树分析
The automated analysis tools based on the reachability tree algorithm of Petri net is developed.
开发了使用可达树算法的Petri网特性的自动化分析工具。
参考来源 - 基于Petri网的UML形式化研究·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐