1) improved reachablity graph
改良可达图
3) improvably
[英][im'pru:vəbli] [美][ɪm'pruvəblɪ]
可改良似地
4) ameliorable adj.
可改善[改良]的
5) 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网的各项分析,还需要借助如可达树、可达图等工具。
6) reachable graph
可达性图
1.
the reachable tree and the reachable graph are tools of analysis of the Petri net.
Petri网的可达性树和可达性图都是分析Petri网的一种工具。
补充资料：图的减缩图(或称图子式)
图的减缩图(或称图子式)
minor of a graph
图的减缩图(或称图子式)【.皿以ofa脚户;MHHoPrpa中a」【补注】设G是一个图(graph)(可以有环及多重边).G的一个减缩图(nullor)是从G中接连进行下述运算而得的任何一个图: i)删去一条边; 五)收缩一条边; 说)去掉一个孤立顶点. NRobe由on与P.D.Se脚aour的图减缩定理(脚Ph nl的。r theon习11)如下所述:已知有限图的无穷序列G，，GZ，…，则存在指标i
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条