业务流程建模是对业务流程进行表述的方式，它是过程分析与重组的重要基础。业务流程建模已经变成了业务流程再工程的一个重要部分，业务流程建模在业务流程管理中具有及其重要的地位。　　 Petri网是目前主流的建模和分析的工具，本文在Petri网的基础上加入时间和成本，形成扩展广义随机Petri网，在此基础上可以对业务流程的性能做定量分析。　　 本文将扩展的广义随机Petri网和业务流程相结合，致力于研究基于扩展广义随机Petri网的业务流程建模，分析和实现。为了这个目的，论文主要工作如下：　　 第一，基于李彤教授在一种建模和描述软件演化过程的方法中提出的四种基本块的，在基本块中将变迁进行分类，划分为瞬时变迁和时间变迁，为状态空间的化简奠定了坚实的基础。　　 第二，改进了李彤教授的过程层建模方法，提出了一种半形式化的业务流程建模方法。　　 第三，为了满足业务流程建模的需要，引入了相邻库所和非相邻库所的概念。　　 第四，在广义随机Petri网的基础上引入成本的概念，为整个业务流程执行成本的分析奠定了基础。　　 第五，基于扩展广义随机Petri网的稳定状态概率，根据业务流程执行成本和变迁的利用比率，进行业务流程瓶颈的分析。　　 第六，在实现阶段，为了保持研究平台相统一的原则，提出了一种扩展广义随机Petri网模型的BPEL实现。　　 第七，通过一个案例，对业务流程的建模，分析，实现各个阶段进行了研究。