[转帖]流程图的跳转问题

 下面这个问题是我在网上搜索工作流设计问题的时候发现的另外一个非规则流程运行控制问题，转帖出来大家一起来研究......

=================================================================================
[来源]http://ipointer.cnblogs.com/archive/2006/04/03/365394.html

问题描述：在有向图中，有唯一的开始节点和结束节点。图中节点的分叉和汇合有两种类型AND和XOR，分叉的时候为AND时，流程会流入下面所有 的分支，为XOR只留向其中一条分支；汇合的时候，AND表示所有汇入的分支都已汇入流程才能继续，XOR表示一条汇入流程就继续。如果能从开始节点出 发，正确的到达结束节点，那么这个流程就是正确的。
现在的问题是流程的节点之间需要跳转，即流程不按正常的流向进行，而是跳向指定的节点，先如何通过算法算出有向图中从某节点可以向的节点集

合。

 

 

 

解决思路：
1、使用有向图的化简，有两种局部可以化简，从一个节点到另一个节点间没有分叉和汇合，那么这两个节点可以化简为直接连接；如果从一个节点到另一 个节点间经过m个分叉和n个汇合，假设m>n,那么局部可以化简为m-n个分叉和一条直接的连线。将图化到最简，最后比较容易判断节点间是否可跳。
2、通过模拟运行的方式，将要跳出的节点的迁移从图中去掉，加上从跳出节点到跳入节点的迁移，模拟让流程运行一下。看流程是否正确。

存在的问题：方法一碰到及其复杂的流程无法处理，不能判断是否能化简；方法二，无法判断流程没有运行下去的原因，是上面有节点未完成，还是流程确实存在问题，无法运行下去。

请教各位有没有更好的办法，或是成型的算法来解决这个问题。