Business process modeling is the basis of Workflow management system (WfMS). At present, the technology of business process modeling is short of systematic research. This paper mainly discusses the application of petri nets in the formal description of business process, soundness proving, performance evaluation and model optimizing in combination with one business process modeling tool.%业务过程建模是工作流管理系统的基础，当前人们对业务过程建模技术还缺乏系统研究。本文主要结合我们实现的业务过程建模工具综述了Petri网在业务过程的形式化表示、正确性证明、性能评价和模型优化等方面的应用。
展开▼
