随着网络技术、信息技术的发展,工作流技术日益成为当前信息领域的一个焦点,并成为办公自动化系统的核心技术之一。笔者通过对工作流的基本理论和建模技术的深入分析和研究,提出了一个改进的基于ECA规则和活动组合的工作流模型,并以陕西省泾惠灌区管理局办公自动化系统为实例,结合以Petri网理论为基础的完全形式化的图形描述方法,提出了一个基于Petri网办公自动化工作流模型,通过引入变迁输入端和输出端的符号更加准确地描述了该工作流模型的路由类别,并给出了该模型的正确性验证和分析。在理论研究的基础上,笔者根据设计的发文管理工作流模型,设计并开发了一个基于Lotus Domino/Notes的办公自动化系统。本文介绍了作者的研究开发工作,详细论述了基于Petri网的工作流建模、工作流模型的验证和分析、基于Lotus Domino/Notes的办公自动化系统分析与设计、办公自动化系统的安全问题等关键技术。