基于链表遍历模式的TCPN映射算法研究
Approach to mapping algorithm of TCPN based on chained list searching mode作者机构:河海大学计算机及信息工程学院江苏南京210098 江苏省行政学院现代科技部江苏南京210004
出 版 物:《计算机工程与设计》 (Computer Engineering and Design)
年 卷 期:2008年第29卷第16期
页 面:4204-4206页
学科分类:08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术(可授工学、理学学位)]
主 题:赋时着色Petri网 工作流网 链表遍历 有向图 映射算法
摘 要:对业务流程的建模分析是建立在工作流网的理论模型上的,因此需要合适的算法将建模工具中用户建立的有向图映射到工作流网。针对经典Petri网的一些固有缺陷,对其在颜色、时间上进行了扩展,给出了赋时着色Petri网定义,并提出了一种基于链表遍历方式的业务流程到工作流网的映射算法。重点研究了工作流模型基本控制结构的映射规则及其相关证明,并给出了该算法的具体实例。