基于Petri网的工作流模型的分析

被引:7
作者
冯卫兵 [1 ]
郝克刚 [2 ]
机构
[1] 西安科技大学基础部
[2] 西北大学计算机科学系
关键词
工作流模型; Petri网; 死锁;
D O I
暂无
中图分类号
TP391.9 [计算机仿真];
学科分类号
080203 ;
摘要
通过模型分析发现所描述的过程定义中的设计错误,以便对业务过程重构提供正确的指导和科学的依据。首先将信牌驱动模型转化为Petri网,接着将Petri网进行必要化简,最后对化简后的Petri网进行死锁等分析。
引用
收藏
页码:194 / 197
页数:4
相关论文
共 3 条