工作流技术已经被广泛应用于办公自动化、电子政务等领域，是实现企业和机构业务过程建模、优化、过程管理与集成，最终实现业务过程自动化的核心技术。Petri网系统是一种适合于描述异步并发现象的计算模型，具有坚实的理论基础和成熟的分析技术，并且利用Petri网建立的模型有着良好的直观图形和有力的分析技术支持。但传统Petri网具有一些固有的缺陷，例如随着系统结构的复杂化，模型组成元素越来越多，大大地增加了模型的复杂性和元素的数量，且难以表达带有时序性活动的事件序列，缺乏对系统安全性控制等。 本文结合办公自动化中公文流转的实际应用环境，对基于传统Petri网的办公自动化工作流网进行了改进，用高级Petri网代替低级Petri网，分别引入了颜色、时间、和层次扩展。尽管扩展后的模型在描述能力上与原模型具有相同的能力，但由于高级Petri网提供了一种更紧凑、更便捷的建模语言，使得工作流网可以更好的适应于复杂工作流的建模过程；然后在办公自动化工作流模型基础上，讨论了如何使用高级Petri网来描述工作流管理系统的安全控制模型，其中包括约束机制、静态权限分配、动态授权模型和多级工作流安全模型等；最后根据建立的工作流模型，对基于Lotus Domino／Notes的工作流管理系统进行了分析和设计。