基于Petri网的工作流建模技术的应用研究

摘要

本文重点研究基于Petri网的工作流建模的分析技术,并以高等院校毕业设计管理系统中的双向选题过程为实例,研究了模型正确性判定及优化等问题。实际表明,该建模方法简单、可行,并能保证工作流模型的有效性。