工作流的概念起源于生产组织和办公自动化领域，是人们为了提高生产和办公效率，针对工作中具有固定程序的常规活动提出的。其目的是通过将业务分解成定义良好的任务、角色，并按照一定的规则和过程来执行这些任务并对它们进行监控，以提高办事效率，降低生产成本，提高企业生产经营管理水平和企业竞争力。　　 工作流模型在提交给工作流引擎之前，应该首先验证模型的正确性，测试工作流是否能实现预期的业务目标，获得相关性能指标，找出模型中存在的死锁、瓶颈以及冗余部分，从而修改模型使其达到最优的性能。模型的正确性验证和性能评价是工作流系统当前一个主要的研究和应用领域。　　 Petri网作为一种从过程的角度出发描述和分析复杂系统的模拟工具，具有形式化的语义定义、直观的图形表达、严格的数学基础以及基于状态的描述等优点，非常适合于业务过程建模和流程优化。　　 本文结合浙江省高级人民法院OA系统，把扩展Petri网应用于工作流的建模和评价过程中，对公文的收发过程进行建模，使用合理性验证规则对模型进行验证并加以改进。根据广义随机Petri网理论对工作流系统的性能，平均服务时间和资源利用率进行了定量分析。　　 本文针对经典Petri网的死锁定义过于宽泛的问题进行了探讨，引入了严格死锁和可控死锁概念。因为在实际的Petri网模型中往往存在死锁，但是可控的，这就为给实际问题的正确描述带来了方便。　　 文中引入了虚变迁的概念，虚变迁指的是不消耗时间和资源，能够将输入库所状态转移到输出库所状态的变迁。通过引入虚变迁可以将两个或多个相互独立的具有相同状态的库所经过或汇集(OR-join)后合并为单一库所。从而可以使某些存有缺陷的工作流子网消除缺陷。　　 在本文的写作过程中作者参阅和引用了多个文献资料，为方便阅读和相互印证，作者对Petri网的部分符号和术语作了规范统一。使用Prev(x)和Next(x)分别表示节点x的前集和后集，扬弃了在x左右加上标·的表示方法。