基于同步网的模型验证算法设计与工具实现

• 作者: 杨云毅 王立福 聂承启 赵文
• 来源期刊: 南京大学学报（自然科学版）
• 学科: 工学
• 关键词: 模型验证 同步网 化简规则 PNML
• 年，卷（期）: 2005,（z1）
• 所属期刊栏目: 计算机理论
• 页码范围: 24-29
• 页数: 6页
• 分类号: TP301.6
• 字数: 3878字
• 语种: 中文
• DOI: 10.3321/j.issn:0469-5097.2005.z1.005

摘要

目前,工作流模型验证技术已成为工作流技术中重要的研究课题之一.由于工作流逻辑的复杂性,因而如何构建正确的模型是一个较迫切的问题.首先,对现有的验证技术作一个比较分析,根据工作流逻辑在模型中的决定性作用,研究并提出一个基于同步网(Syn-net)的模型验证算法,然后给出一个用PNML(Petri Net Markup Language)方式存储的业务实例,并根据化简规则进行化简和优化.最后,实现该验证工具.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵文	北京大学信息科学与技术学院	26	672	8.0	25.0
2	王立福	北京大学信息科学与技术学院	36	2060	16.0	36.0
3	聂承启	江西师范大学计算机信息工程学院	32	283	11.0	15.0
4	杨云毅	江西师范大学计算机信息工程学院	1	1	1.0	1.0