基于Petri网的工作流模型简化

• 作者: 刘志锋 周从华
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 工作流网 Petri网 正确性 线性时态逻辑
• 年，卷（期）: 2008,（2）
• 所属期刊栏目: 计算机网络与信息技术
• 页码范围: 115-119
• 页数: 5页
• 分类号: TP3
• 字数: 5809字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2008.02.031

摘要

计算状态空间可达图是验证工作流正确性的主要方法,状态空间爆炸是这类方法的主要困难.文章对线性时态逻辑LTL-x描述的正确性提出了一种基于Petri网图形化简的验证方法,证明了所提出化简规则的完备性,并以实例说明了所提方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周从华	江苏大学计算机科学与通信工程学院	46	193	7.0	11.0
2	刘志锋	江苏大学计算机科学与通信工程学院	29	118	5.0	10.0