10.3969/j.issn.1672-6685.2011.04.006
工作流动态变化在建模中的应用研究
如果工作流管理系统的建模过程中缺乏合理性验证,那么对庞大模型的验证将十分复杂.针对该问题,以Petri网为分析工具,提出了一种动态变化在建模中进行应用的方法.此方法引入动态变化生成的最小变化区域,并利用逻辑推导和真值表对该区域进行结构的合理性验证.实例分析证明,此方法可以降低建模的复杂度和验证的工作量.
工作流、建模、Petri、动态变化、合理性
20
TP391(计算技术、计算机技术)
淮海工学院自然科学基金资助项目Z2010150029
2012-03-16(万方平台首次上网日期,不代表论文的发表时间)
共4页
18-21