基于扩展的P/T_系统工作流建模的研究
针对当前工作流建模中存在的一般图形化建模方法正确性不易验证或基于Petri网建模过于繁琐,程序不易实现的问题，提出了一个基于扩展的P/T_系统进行工作流建模的方法,并给出了正确性验证。 该方法主要是通过扩展P/T_系统权函数可以取零值,并用变迁作为或分支节点实现选择和循环路由结构,使得建模在图形表示和程序实现上更加简单,同时保持了基于Petri建模的优点。
Petri网建模 选择结构 正确性验证 工作流建模 扩展P/T系统
娄渊胜 刘瑾 黄龙达
河海大学计算机及信息工程学院 江苏南京 210098 南京航空航天大学信息科学与技术学院 江苏南京 210016 国电南瑞科技股份有限公司电网控制分公司 江苏南京 210061
国内会议
大连
中文
158-160
2007-08-01（万方平台首次上网日期，不代表论文的发表时间）