1) 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网的各项分析,还需要借助如可达树、可达图等工具。
2) reachable graph
可达性图
1.
the reachable tree and the reachable graph are tools of analysis of the Petri net.
Petri网的可达性树和可达性图都是分析Petri网的一种工具。
3) reachable states graph
可达状态图
1.
The reachable states graph,which is used to generate the test cases,is available on the basis of elementary net system.
将UM L状态图转换成对应的EN—系统模型,利用EN—系统的性质检测并排除UM L状态图中的不可达状态和事件的冲突和冲撞;再应用与合理的UM L状态图对应的EN—系统生成可达状态图,利用可达状态图生成测试用例。
4) reachable marking graph
可达标识图
1.
In this paper,the definition and rule of transition firing are first put forward,then the functioning Principle and generating method of reachable marking graph are discussed.
首先给出了变迁可激发的定义及激发规则,然后讨论了T-时延离散Petri网的运行原理和可达标识图的构造方法,最后给出了两个性质。
2.
The paper gives a sufficient and necessary condition for judging if the schedules correspondent with2PL is deadlock by reachable marking graph of the model,and constructs Serializable de.
利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度。
5) reachable marked graph
可达标识图
1.
Based on constructing software architecture model by Petri net(PSA),can calculate the relative quantity of component effect via the reachable marked graph of Petri net and spend less time,and every ripple-effect of SA evolution caused by component deletion,addition,modification,division and combination is described respectively in this thesis.
在构造系统PSA模型的基础上,利用其可达标识图同样能分析软件架构演化中的构件删除、增加、修改以及合并与分解各种变化引起的波及效应,且算法直观、复杂度小;并为运用Petri网技术研究SA提供了一个新思路。
2.
The corresponding Petri net model is structured starting from N state of databse system at t moment, and then a reachable marked graph is structured in this paper.
本文从数据库系统在时刻 t的状态 N出发 ,构造出相应的 Petri网模型 ,进而构造出其可达标识图 。
6) reachable task graph
可达任务图
补充资料：图的减缩图(或称图子式)
图的减缩图(或称图子式)
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
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条