中文摘要：

为满足业务流程管理（BPM）系统在面对外界变化时对流程可变性的需求,提出了基于规则库的支持流程运行可变的BPM系统架构.利用面向对象Petri网（OOPN）建立了该BPM架构的OOPN模型,其中库所中的托肯表示各个规则库和流程.通过CPN Tools对该模型进行了仿真.使用创建过程得到具体系统模型,利用状态空间分析法给出了此模型的活性、各个库所有界性的分析报告,采用监控工具得出了主要库所的托肯流动分析报告.最后利用Gnuplot对此报告数据分析显示系统满足稳定性要求.仿真分析结果表明,此模型简单直观地表现出系统的运行过程,真实地反映了各个规则库在系统运行过程中的存取比例,为企业构建BPM系统提供了参考.

英文摘要：

In order to meet the requirement of process variance with outside changes for business process management（BPM） system,the BPM framework supporting variable running process was proposed based on rule base.The object oriented Petri net（OOPN） model of the BPM frame was established for the tokens in the places to represent rules and processes.The simulation of the model was conducted by CPN Tools.The system model of given problem was built by the creation of CPN Tools.The analysis report of the model live ness and the space bounded ness were obtained by the state space of CPN Tools.The report of main token flows in places was obtained by monitors.The analysis report by Gnuplot illustrates that the system satisfies the stability requirements.The simulation shows that the model can simply express the system running process and reflect the scale of rule base during the system running process,which gives a consultation for enterprises to develop BPM system.