| 基于Petri网的工作流模型简化 |
| |
| 引用本文： | 周从华,刘志锋.基于Petri网的工作流模型简化[J].计算机科学,2008,35(2):115-119. |
| |
| 作者姓名： | 周从华 刘志锋 |
| |
| 作者单位： | 江苏大学计算机科学与通信工程学院,江苏,镇江,212013 |
| |
| 基金项目： | 国家自然科学基金
,
江苏省自然科学基金 |
| |
| 摘 要： | 计算状态空间可达图是验证工作流正确性的主要方法,状态空间爆炸是这类方法的主要困难.文章对线性时态逻辑LTL-x描述的正确性提出了一种基于Petri网图形化简的验证方法,证明了所提出化简规则的完备性,并以实例说明了所提方法的有效性.
|
| 关 键 词： | 工作流网 Petri网 正确性 线性时态逻辑 |
Reduction of Petri Net-based Workflow Model |
| |
| ZHOU Cong-Hu,LIU Zhi-Feng.Reduction of Petri Net-based Workflow Model[J].Computer Science,2008,35(2):115-119. |
| |
| Authors: | ZHOU Cong-Hu LIU Zhi-Feng |
| |
| 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 LTL-X a Petri net based verification approach the employs a set of graph reduction is proposed.The completeness of the proposed method is proved.And a case study is made to demonstrate our method. |
| |
| Keywords: | Workflow net Petri net Soundness LTL |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
