基于Petri网化简技术的工作流模型正确性研究

• 作者: 姚淑珍 张亮
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: Petri网 工作流 模型正确性 化简技术
• 年，卷（期）: 2007,（9）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 60-61,94
• 页数: 3页
• 分类号: TP301
• 字数: 2617字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2007.09.021

摘要

为了更有效地对工作流模型进行分析验证,提出了一种基于Petri网化简技术的工作流模型正确性验证方法.在对各种工作流模型验证技术深入研究的基础上,通过对非自由选择网结构活性和有界性的分析,给出了针对Petri网中非自由选择部分的分析方法.在保持活性和有界性的前提下,给出了将活的且有界的非自由选择部分转化为自由选择部分的转化方法,从而将非自由选择的Petri网验证问题转化为自由选择Petri网的验证问题.通过一个例子说明了如何使用该文提出的方法来验证模型的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张亮	北京航空航天大学计算机学院	26	294	11.0	17.0
2	姚淑珍	北京航空航天大学计算机学院	45	393	10.0	18.0