自从人类进入工业信息化时代以来,面对市场需求变化加快,全球竞争日益激烈,顾客要求的个性化和定制化越来越复杂,如何完成企业过程的组织管理和流程优化成为企业发展面临过程中的一个问题。工作流的出现为整合企业复杂信息环境、实现业务流程自动执行提供了解决方案。工作流是一个业务过程的全部或部分自动执行,为了实现工作流管理功能,我们必须将业务过程从现实世界中抽象出来,并用一种形式化方法对其进行描述,其结果称为是工作流模型。工作流模型在建立完成后,应先对模型的正确性进行验证,保证工作流可以实现预期的业务目标,获得相关的性能指标,发现模型是否存在死锁、瓶颈以及冗余部分,进而修改模型使其达到最优性能。模型的正确性验证和性能评价是工作流模型当前研究的热点和难点。Petri网系统是一种适合于描述异步并发现象的模型,不仅具有直观的图形化优势同时还具有成熟的理论基础和分析技术,因此用Petri网对工作流技术进行建模和分析具有很重要的意义。本文主要研究基于Petri网的工作流业务模型及其正确性和性能验证。在建模方面,首先分析了经典Petri网和时间Petri网的理论知识并介绍相关概念,随后着重分析了工作流和工作流模型并给出了参考模型,罗列出建模的相关方法,最后将约束弧和测试弧引入Petri网模型中且将时间Petri网进行扩展形成约束组合时间Petri网,并结合资产信息管理系统给出相应的业务模型。在模型的正确性方面提出了验证算法并对模型示例进行了验证,在模型的性能方面着重分析了模型的时间性能,对工作流的四种结构模型：顺序结构、并行结构、选择结构和循环结构进行时间性能分析并结合这些分析技术分析了模型实例的时间性能。