摘要
目前,工作流模型验证技术已成为工作流技术中重要的研究课题之一.由于工作流逻辑的复杂性,因而如何构建正确的模型是一个较迫切的问题.首先,对现有的验证技术作一个比较分析,根据工作流逻辑在模型中的决定性作用,研究并提出一个基于同步网(Syn-net)的模型验证算法,然后给出一个用PNML(Petri Net Markup Language)方式存储的业务实例,并根据化简规则进行化简和优化.最后,实现该验证工具.
出处
《南京大学学报（自然科学版）》
CAS
CSCD
北大核心
2005年第z1期24-29,共6页
Journal of Nanjing University（Natural Science）
基金
国家重点基础研究发展规划973资助项目(2002CB312006),国家863高技术研究发展计划(2002AA113171)
