基于Petri网的BPR建模方法的研究

摘要

This paper focuses on process model and its modeling method based on Petri nets. After forty years study and application,Petri nets have been maturely used in the domain of automated control,communication and computer science. However it hasn′t been widely applied to support BPR modeling. In this paper a modeling method based on Petri nets-BPM will be proposed,especially,by adding some proper properties to a process model,which is designed with BPM,the model can be directly used for simulation,so the data for optimization of the process can be obtained. At the end of this paper,a simple example will be provided to verify the Model and Modeling Method.%文章论述了基于Petri网的事务流程模型和流程建模方法。经过40多年的研究与应用，Petri网在自动控制、通信和计算机科学等许多领域已经获得了较为成熟的应用。但把它作为支持BPR实施的流程建模工具，还没有得到广泛的应用。文中提出了一种基于Petri网的流程建模方法-BPM，在增加适当的属性后，用BPM设计的流程可直接用于仿真，这样就可得到必要的流程优化数据，以实现流程的优化。文章最后用一个简单的例子对BPM的有效性进行了验证。