论文部分内容阅读
对业务流程的建模分析是建立在工作流网的理论模型上的,因此需要合适的算法将建模工具中用户建立的有向图映射到工作流网。针对经典Petri网的一些固有缺陷,对其在颜色、时间上进行了扩展,给出了赋时着色Petri网定义,并提出了一种基于链表遍历方式的业务流程到工作流网的映射算法。重点研究了工作流模型基本控制结构的映射规则及其相关证明,并给出了该算法的具体实例。