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

计算机科学 ›› 2008, Vol. 35 ›› Issue (2): 115-119.

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

周从华刘志锋

江苏大学计算机科学与通信工程学院,江苏镇江212013

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本文得到国家自然科学基金（No.60603041）、江苏省自然科学基金（BK2006073）的资助.

ZHOU Cong-Hua ,LIU Zhi-Feng （School of Computer Science and Telecommunication Engineering, Jiangsu University, Zhenjiang 212013）

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

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

关键词: 工作流网 Petri网正确性线性时态逻辑

Abstract: The primary approach in verifying the workflow＇ s correctness is to compute its reachable state space. The state explosion problem is the central difficulty in such verification technique. For the correctness expressed with the linear time temporal logic

Key words: Workflow net, Petri net,Soundness,LTL

周从华刘志锋. 基于Petri网的工作流模型简化[J]. 计算机科学, 2008, 35(2): 115-119. https://doi.org/

ZHOU Cong-Hua ,LIU Zhi-Feng （School of Computer Science and Telecommunication Engineering, Jiangsu University, Zhenjiang 212013）. [J]. Computer Science, 2008, 35(2): 115-119. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed