业务过程建模是工作流管理系统的基础，当前人们对业务过程建模技术还缺乏系统研究。本篇文章主要是结合我们实现的业务过程建模工具综述了Petri网在业务过程的形式化表示、正确性证明、性能评价和模型优化等方面的应用。
详见http://download.csdn.net/source/348263