近年来,随着信息技术的蓬勃发展,尤其是网络通讯技术、多媒体技术、数据库技术的发展,为企业和单位的电子公文流转提供了更为广阔的发展空间。在涉及到如何处理文档信息、如何管理和组织以文字字符为主要内容的信息,特别是如何动态地控制这些信息的流转等方面,就要应用工作流技术了。 基于Petri网的建模方式是一种集图形化和数学化于一身的建模工具,已被广泛应用于通讯协议验证、网络性能分析、并行程序设计、知识推理及人工神经元网络等各个领域中的系统建模、分析和控制,是一个理想的形式化建模工具。 论文以办公信息流处理系统为背景,所做的工作主要集中在如何将Petri网技术运用在办公工作流系统的建模中。对Petri网中的控制流、信息流、系统体系结构、变迁点火以及对外部事件的响应等方面进行了深入了研究和改进,设计了基于Petri网的公文流转系统,主要完成了下列工作: (1)在讨论了工作流管理系统的体系结构和典型模型基础上,分析了工作流实体的各种建模方法;并且深入研究了基于Petri网的工作流建模技术。利用Petri网建模,为描述和研究具有并行、异步、分布式和随机性等特征的复杂系统提供了强有力的手段。 (2)以工作流网为基础,讨论Petri网到工作流的映射。对传统Petri网进行算法以及变迁点火等方面的改进:将数据流与控制流结合,使之能够对外部事件进行运算控制,能处理嵌套结构的复杂模型。并引入三个子类,对所做的改进进行合理性的分析。 (3)根据实际的应用需求,结合公文流转实例中发文过程,利用改进的Petri网对工作流网进行建模,建立公文流转系统总体架构。并利用LotusDomino/Notes的开发平台,阐述了基于Petri网的工作流管理系统的实现算法和设计思想。 (4)用LotusScript语言进行一些过程的编译。并针对系统实现过程中的几个关键技术问题,包括系统的自动回复功能和动态跟踪功能以及数据的完整性给出具体的解决方案。 在系统的设计目标上,采用较为成熟的技术实现电子公文的流转以及用户级和系统级的管理。从而保证了电子公文流转系统的稳定性和可靠性。由于工作流是一项系统工程,是实现办公自动化中的重要环节。因此,对Petri网在工作流系统中的应用进行研究,具有深远的理论和现实意义。