四川省教育厅资助科研项目(07ZB047)
- 作品数：2 被引量：8H指数：1
- 相关作者：周立东王刚王霞更多>>
- 相关机构：四川大学淮海工学院更多>>
- 发文基金：四川省教育厅资助科研项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 最小变化区域在流程建模中的应用被引量：1
- 2011年
- 针对流程建模过程中缺乏合理性验证以及所建模型过于庞大导致验证复杂的问题,在研究建模过程中结构变化的基础上,提出一种将最小变化区域的思想引入到流程建模过程中的方法。对所提出的方法使用Petri网作为分析工具,以具体系统为例进行了建模应用分析,并在建模过程中进行了合理性验证。分析比较结果表明,利用最小变化区域的思想进行建模可以降低复杂度,并能够在流程建模及模型验证等方面提高工作效率。
- 王霞王刚周立东
- 关键词：PETRI
- 改进的工作流合理性验证方法被引量：7
- 2011年
- 工作流建模过程中存在的结构冲突很有可能导致整个系统无法正常运行,因此验证工作流中的结构合理性是非常重要的。目前尚无一种简单的算法能够验证循环结构及交叉结构的合理性,为此提出了一种改进的工作流合理性验证方法。该方法基于Pe-tri网模型,将逻辑推导和真值表相结合,能够简单而有效地检测出工作流中的各种结构冲突。应用示例表明了该方法的有效性。
- 王霞王刚周立东
- 关键词：工作流PETRI逻辑推导真值表
