工作流管理技术在现代企业中的作用越来越重要，也是近年来在计算机应用领域中发展最为迅速的几项技术之一。可现如今业务规则、业务流程的不断变化使得工作流定制系统面临着前所未有的挑战。寻求一种能支持企业间组织结构、业务流程快速变化和异构信息资源共享的工作流定制系统成为了当今研究的热点和趋势。其中过程模型的建立与结构的分析是工作流定制系统的重点之一，也依旧是一大难题。本文在分析和研究XML和Petri网技术的基础上，利用XML的可扩展性、自描述性好、语意性强、与平台无关的优点以及Petri网具有严格的数学定义和丰富严谨的分析、建模技术，完成了表单流程定制系统中两套工具设计与实现。　　一是表单定制工具，它能为用户提供表单的设计和创建等功能。该工具内部的数据格式采用XML数据格式，设计中我们提出了将表单的XML格式的数据存放在数据库中的一个大字段的方法来实现表单模版和实例的存储。这种格式的数据还能与其它格式的数据（如HTML、PDF、Excel等）进行样式的双向解析与转换。　　另一是工作流程定制工具，它主要可完成业务流程的创建、流程实例的启动、状态监控与资源管理。在过程建模中，我们利用Petri网的图形化语言和基于状态的建模优势，得到了工作流网的建模方法。同时还针对工作流网中的某些局限性，进一步给出了扩展工作流网建模方法及相互转换算法。另外对用该方法建立的模型进行过程结构的代数分析，通过对模型的状态方程的求解来验证工作流网建模的可行性及所建模型状态间具有可达性，而且能较好的描述业务流程的不确定性、并发性和资源共享性等问题，并可解决模型中存在的冲突、死锁等问题。最后还给出了工作流的实现算法、工作流执行服务的实现技术。　　本表单流程定制系统成功实现了业务规则、业务流程等可以根据实际需要而改变，并且不需要修改代码，从而达到了可扩展和可定制的效果。最后，将该系统应用于南方基金知识管理平台的业务流程创建中。