| 基于随机Petri网的信息系统工作流建模 |
| |
| 引用本文： | 苏建元,孙薇,孙蔚,徐敏.基于随机Petri网的信息系统工作流建模[J].计算机仿真,2007,24(6):77-80,145. |
| |
| 作者姓名： | 苏建元 孙薇 孙蔚 徐敏 |
| |
| 作者单位： | 1. 河海大学电气工程学院,江苏,南京210024
2. 江苏省镇江电信公司,江苏,镇江212007 |
| |
| 摘 要： | 工作流过程验证领域存在的问题是:通常用描述工具仅仅是对所建模型进行简单的语法验证,结果验证不彻底,致使开发效率降低.文章提出了一种通用Petri网工作流建模和验证方法.以常规信息系统的一个工作流程为例,构建基于随机Petri网的工作流模型,从静态角度给出正确的工作流模型结构标准,从动态角度给出正确性验证方法及有关规则,并分析了模型的正确性,通过冲突分析说明该模型结构不存在死锁结构、不可达节点、同步丢失等现象.研究结果表明:随机Petri网及其扩充形式便于描述异步、并发、并行等情况、一定程度上解决状态空间爆炸问题、便于进行性能评价,如果从语义验证和结构验证两方面对随机Petri网工作流模型进行验证,可以提高模型正确率.
|
| 关 键 词： | 工作流 托肯 库所 变迁 随机 Petri 信息系统 工作流 建模 Based Workflow Modeling System 正确率 结构验证 语义验证 评价 性能 状态空间爆炸问题 程度 情况 并行 述异 充形 结果 |
| 文章编号： | 1006-9348（2007）06-0077-04 |
| 修稿时间： | 2006-04-132006-05-07 |
Information System Workflow Modeling Based on SPN |
| |
| SU Jian-yuan,SUN Wei,SUN Wei,XU Min.Information System Workflow Modeling Based on SPN[J].Computer Simulation,2007,24(6):77-80,145. |
| |
| Authors: | SU Jian-yuan SUN Wei SUN Wei XU Min |
| |
| Affiliation: | 1. College of Electrical Engineering, Hohai University, Nanjing Jiangsu 210024, China; 2. Zhenjiang Telecommunication Company, Jiangsu Province, Zhenjiang Jiangsu 212007, China |
| |
| Abstract: | |
| |
| Keywords: | Work flow Token Place Transition |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
