[数]?可达图
...同时,为了从整体上刻画BPMN流程的内部状态及 行为活动序列,本文借助Petri网的一种重要的分析模型——可达图(reachability graph)作为模型间相似性比较 的基础.下面将针对组合服务的描述模型及其可达图给出形式化的定义.
状态可达图
化简可达图
两阶段图形可达性
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。