最小变化区域在流程建模中的应用

摘要：

针对流程建模过程中缺乏合理性验证以及所建模型过于庞大导致验证复杂的问题,在研究建模过程中结构变化的基础上,提出一种将最小变化区域的思想引入到流程建模过程中的方法.对所提出的方法使用Petri网作为分析工具,以具体系统为例进行了建模应用分析,并在建模过程中进行了合理性验证.分析比较结果表明,利用最小变化区域的思想进行建模可以降低复杂度,并能够在流程建模及模型验证等方面提高工作效率.

关键词：流程建模、结构变化:最小变化区域、Petri、合理性

所属期刊栏目：32

分类号：TP311.5(计算技术、计算机技术)

资助基金：四川省教育厅基金项目07ZB047

在线出版日期：2012-03-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：3742-3744,3749