在全球经济一体化的商业环境里,用户竞争日趋严峻,企业经营方式与管理文化历经着以用户为中心的快速转变。然而随着企业规模的不断扩大,业务流程也变的越来越复杂,这时就需要对原有的业务流程进行设计上的重构。建立一个能以业务人员或是客户为中心向导的系统或工具,并且能够使多人协作对业务流程建模,让流程的拥有者自己去建模梳理所需的业务流程,成为了企业快速建立信息化系统的关键。过程模型设计器就是这样一个具有社交属性的建模工具。用统一的流程建模工具,帮助企业建立内部的社交团队,广泛收集企业内的想法,快速梳理完善内部业务流程。其基于B/S模式的架构设计,更加方便地将流程管理与IT系统相结合。同时过程模型设计器支持BPMN建模,BPMN是一种具有国际标准的工作流建模语言。为了能够将BPMN建模表示的工作流过程模型应用到工作流引擎上去动态执行,如何保证BPMN图表示的过程模型的正确性成为了关键。为了能够进行最终的编码实现,需要对BPMN建模的模型进行形式化的描述。结合Petri网的相关化简原则,最终给出一种适用于BPMN的模型化简的方法,同时对化简方法进行形式化描述。对于最终的化简结果,可以找到原模型中出现问题的网关元素,并最终可以判定问题的所在,完成对BPMN的化简。论文选题源自本人在实习工作中参与的实际项目,本人在项目中负责所有的功能需求分析和本文中提到的所有模块的开发实现。在完成了需求分析后,介绍了BPMN模型化简的方案研究,并详细介绍了过程模型设计器以及BPMN模型化简方案的设计与实现。本文最后通过一个实际的案例来证明BPMN模型化简方法的可行性,证明了工作具有一定的研究和工程应用价值。