基于随机Petri网的信息系统工作流建模

• 作者: 孙蔚 孙薇 徐敏 苏建元
• 来源期刊: 计算机仿真
• 学科: 工学
• 关键词: 工作流 托肯 库所 变迁
• 年，卷（期）: 2007,（6）
• 所属期刊栏目: 建模与验模
• 页码范围: 77-80,145
• 页数: 5页
• 分类号: TP311
• 字数: 4842字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-9348.2007.06.021

摘要

工作流过程验证领域存在的问题是:通常用描述工具仅仅是对所建模型进行简单的语法验证,结果验证不彻底,致使开发效率降低.文章提出了一种通用Petri网工作流建模和验证方法.以常规信息系统的一个工作流程为例,构建基于随机Petri网的工作流模型,从静态角度给出正确的工作流模型结构标准,从动态角度给出正确性验证方法及有关规则,并分析了模型的正确性,通过冲突分析说明该模型结构不存在死锁结构、不可达节点、同步丢失等现象.研究结果表明:随机Petri网及其扩充形式便于描述异步、并发、并行等情况、一定程度上解决状态空间爆炸问题、便于进行性能评价,如果从语义验证和结构验证两方面对随机Petri网工作流模型进行验证,可以提高模型正确率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	苏建元	河海大学电气工程学院	31	184	8.0	11.0
2	孙薇	河海大学电气工程学院	8	83	6.0	8.0
3	徐敏		7	35	3.0	5.0
4	孙蔚	河海大学电气工程学院	4	28	3.0	4.0