基于Petri网的面向测试的工作流系统建模方法

提出了一种基于Petri网的I/O_WF_Net模型。该模型将工作流中的活动抽象为Petri网中的迁移,将每个活动的输入输出抽象为Petri网中的库所,便于以后应用其生成测试用例。介绍了对工作流中各种组成部分及不同结构的I/O_WF_Net模型建模方法,给出了将带有输入输出约束的工作流网转化为I/O_WF_Net模型的算法及转化后模型的化简方法。     

一种基于有色Petri网的工作流网模型

使用工作流网（WF-nets）描述工作流的业务流程时，可能产生由于托肯含义的不确定性而导致的工作流逻辑的二义性。在分析产生这种二义性原因的基础上，定义了一种基于有色Petri网的工作流网模型CWF-nets，给出了严格的定义和变迁发生机制，并分析了其正确性。利用CWF-nets可以准确描述业务流程的工作流逻辑，且这种逻辑结构与工作流具体案例的属性数据无关，避免了上述问题。     

Petri网在工作流技术中的应用

论述了Petri网理论和工作流技术,探索了Petri网和工作流技术相结合的优势和可行性,讨论了如何运用Petri网理论实现工作流管理系统部件——过程定义工具的分析功能,并部分实现了分析功能。     

基于Petri网的工作流模型构建

Petri网以其良好的数学基础和可视化的建模方法已成为工作流研究中的重要建模工具。尤其对办公自动化建模时,在描述和分析对象上有其独到的优越之处,本文以协同办公系统中的生产计划管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证。     

工作流自动化及在房地产管理OA系统中应用

通过对节点控制的工作流自动化技术及其在房地产管理OA系统中应用研究分析,并结合襄樊市高新区规划建设环保局房地产管理OA子系统的应用实例,提出了在房地产管理OA系统中基于节点控制的工作流自动化的具体实现方法。同时说明了基于节点控制的工作流自动化是中小城市房地产管理OA系统的可行实现方案。     

基于Petri网的服装设计工作流管理系统的研究

提出在基于Petri网理论的基础上扩充得到工作流Petri网,依此来对工作流过程进行建模--工作流管理中的关键技术.通过一个服装设计工作流案例阐述了基于Petri网的工作流管理系统的建立.实践表明这种工作流管理方式形象直观、简单易行.     

基于Petri网工作流过程模型合理性验证方法

为保证工作流建模过程的正确性,对基于Petri网的过程建模中存在的潜在错误进行了归纳和总结,分析了合理的工作流过程模型应该满足的条件和要求,并针对自由选择网提出了一种有效的合理性验证算法。实验证明,该算法在实际应用中具有可操作性,有较强的现实意义。     

基于工作流技术的校园OA系统构建研究

随着市场竞争的日益加剧以及各企业对业务需求的快速变化,基于工作流技术的办公自动化系统逐步在各企业中建立起来,并随着现代科学技术的发展和业务需求的变化不断完善.文章对基于工作流技术的办公自动化系统构建进行初探和研究.     

基于OA系统的工作流技术的实现

针对工作流的体现形式与实现技术，结合办公自动化系统的前期需求分析与业务工作流程，在深入地剖析LotusDomino/Notes工作流机制的基础上，通过办公自动化系统中典型流转型事务具体业务的实现，给出了基于电子邮件和数据库的工作流设计过程．     

基于对象Petri网的产品设计过程工作流建模

针对产品设计过程中的工作流程控制及重组问题,通过对面向对象Petri网的讨论,建立了基于面向对象Petri网的产品设计过程工作流模型,并给出了模型运行的规则.应用此模型建模,系统具有结构化和工程化的特点.     

办公自动化中工作流过程定义的设计与实现

办公自动化系统建设的一个突出特点是不仅仅重视信息的充分共享,同时更强调各方面之间的相互协作。提出了符合WFMC规范的、基于3层结构的办公工作流系统结构模型,并从软件工程的角度分析了一种适合于基于工作流技术开发OA的方法,有效改善了系统的开放性、可扩展性和维护性。在此模型中提出了工作流应用数据与过程定义数据分离存储的数据存储方式,解决了过程定义模板的重用问题。从业务流程描述能力和易用性两方面考虑,实现了基于流程节点单一设计元素的过程定义设计,提高了系统对复杂流程的描述能力,简化了流程建模操作。     

工作流管理系统的解决方案

本文以SZZX3000工作流管理系统为例,从系统的总体设计、系统框架设计、工作流建模工具设计、工作流执行服务、数据库设计等方面,说明工作流管理系统解决方案。     

基于工作流系统的企业级应用架构研究

企业级应用有持久化、数据量大、用户多和业务逻辑复杂等特点，这就需要企业级应用开发在一个稳定、开放和易扩展的架构上进行。针对企业级应用的这些特点，提出了一个基于工作流系统的企业级应用架构，以适应企业管理信息化的需要。     

基于Notes的办公自动化系统中日志文件的应用

介绍办公自动化系统中日志分析模块利用Lotus Domino／Notes系统提供的日志文件的方法，结合实例描述了应用层自己建立日志文件的方法和日志分析模块应用这种日志文件的实现要点，对这两种应用日志文件的方法进行了简要比较。     

高校OA系统办公流程审批的设计与实现

办公自动化系统(Office Automation,简称OA)丰富的功能中,办公流程审批是OA系统的核心,它是OA系统中本地化和自定义空间最大的模块,结合该模块和企业实际需求进行深度定制,是高校办公信息化的关键所在。本论文通过吉林化工学院实际工作流为例,对其设计过程进行分解说明和经验总结。     

工作流动态变化在建模中的应用研究

如果工作流管理系统的建模过程中缺乏合理性验证,那么对庞大模型的验证将十分复杂。针对该问题,以Petri网为分析工具,提出了一种动态变化在建模中进行应用的方法。此方法引入动态变化生成的最小变化区域,并利用逻辑推导和真值表对该区域进行结构的合理性验证。实例分析证明,此方法可以降低建模的复杂度和验证的工作量。     

基于Web的工作流技术在机务工程管理系统中的应用

根据机务工程管理的发展需要，提出建立基于Web的应用工作流技术的机务工程管理系统的方法，并给出了设计思路及其实现方法．