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

关键词：工作流 过程建模 高级对象petri网 活性分析算法 

单位：四川大学工商管理学院; 四川成都610064