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