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