1) reachable graph
可达性图
1.
the reachable tree and the reachable graph are tools of analysis of the Petri net.
Petri网的可达性树和可达性图都是分析Petri网的一种工具。
3) 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网的各项分析,还需要借助如可达树、可达图等工具。
4) two pass graph reachability
两阶段图形可达性
1.
We discuss a kind of hierachical slicing method for object oriented softwares, and with the two pass graph reachability.
过程间切片作为图形可达性问题时 ,需要扩展过程内切片所用的程序依赖图 (PDG)成系统依赖图 (SDG) ,然后利用两阶段图形可达性算法计算比较精确的切片 。
5) 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—系统生成可达状态图,利用可达状态图生成测试用例。
6) 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.
利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度。
补充资料：连续性与非连续性(见间断性与不间断性)
连续性与非连续性(见间断性与不间断性)
continuity and discontinuity
11an父ux泊g四f“山。麻以角g、.连续性与非连续性(c。nt，n琳t:nuity一)_见间断性与不间断性。and diseo红ti-
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条