| 基于Petri网化简技术的工作流过程模型结构验证 |
| |
| 引用本文： | 徐晶明,杜宝珠. 基于Petri网化简技术的工作流过程模型结构验证[J]. 计算机技术与发展, 2009, 19(6) |
| |
| 作者姓名： | 徐晶明 杜宝珠 |
| |
| 作者单位： | 北京理工大学,研究生学院,北京,100081 |
| |
| 基金项目： | 内蒙古自治区自然科学基金 |
| |
| 摘 要： | 目前,工作流系统向大型化发展,这使得基于可达图的验证技术在对大型模型进行验证时面临着状态空间爆炸的问题.因此,在过程验证之前,对大型模型进行化简是必要的.文中介绍两种化简规则.这些规则将一个大的Petri网化简为更小的Petri网,同时保持合理性属性,保证化简后的Petfi网和原有的Petri网具有相同的属性.介绍了Petri网、Workflow Petri网和过程合理性定义;讨论了针对Petri网的两种化简技术;提出了工作流过程模型结构合理性验证过程.
|
| 关 键 词： | Petri网 工作流 合理性 模型化简 |
Workflow Process Model Structure Verification Based on Petri Net Reduction Techniques |
| |
| XU Jing-ming,DU Bao-zhu. Workflow Process Model Structure Verification Based on Petri Net Reduction Techniques[J]. Computer Technology and Development, 2009, 19(6) |
| |
| Authors: | XU Jing-ming DU Bao-zhu |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
