1) reducing the reachability graph
化简可达图
2) reduced visibility graph
简化可视图
3) reducible flow graph
可简化流程图
4) reachability graph
可达图
1.
The rules for verifying whether there exist deadlocks or traps in concurrent workflow are detected through reachability graph.
为了将着色时间Petri网的并行式工作流模型应用于产品数据管理系统,在工作流建模阶段对工作流的静态和动态结构性能加以分析·采用活动扫描法作为工作流系统行为的仿真策略,研究了工作流模型到着色时间工作流网模型的转换过程·给出了用可达图检验工作流程中是否存在死锁和陷阱的判定定理·以一种循环组件的或分支跳出并行流程的审批工作流为例,对论述的定理和方法进行了分析和验证
2.
Petri net is an important mathematical tool for concurrent systems description and modeling,and reachability graph analysis is one of the most effective methods for Petri net models.
Petri网是一种对并发系统进行描述和建模的重要数学工具,可达图是Petri网模型的主要分析方法。
3.
To complete all sorts of analysis,one should use other tools such as reachability tree and reachability graph.
Petri网是一种系统设计和分析的工具,为了完成Petri网的各项分析,还需要借助如可达树、可达图等工具。
5) reachable graph
可达性图
1.
the reachable tree and the reachable graph are tools of analysis of the Petri net.
Petri网的可达性树和可达性图都是分析Petri网的一种工具。
补充资料：简达
1.简要而通达。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条