基于高级对象Petri网的工作流过程建模研究

通过对当前工作流过程建模方法的总结,提出这些方法的不足之处,展望了过程建模的发展动向.在基本的有色Petri网系统定义的基础上,引入面向对象技术和时间映射机制,提出了一种基于高级对象Petri网的建模方法,以提高模型的可重用性,加强对动态流程的描述能力,降低建模过程的复杂度,解决临界资源的共享问题.通过一个具体实例阐述了如何建立高级对象Petri网模型,并通过活性分析算法,验证模型对流程描述的正确性和有效性.