基于Petri网公文流转工作流模型的设计

Petri网是目前最有前途的建模工具，它的应用几乎涉及到计算机学科的各个领域。文中将使用其作为办公自动化系统中较为复杂的公文流转工作流模型的设计工具，来分析设计流程中遇到的几个问题，并在提出解决问题的策略方面作一些探讨。     

基于Petri网的保险索赔工作流模型

Petri网是一种有效的形式化建模工具,能自然地描述并发、冲突、同步等系统特性。给出基于Petri网的保险索赔工作流模型,将Petri网三要素以对象的形式描述出来,并对此工作流模型的正确性定义和验证进行了说明。     

基于面向对象Petri网的工作流建模及性能分析

工作流技术作为一种过程建模和过程管理的核心技术，在计算机应用领域获得了迅速的发展。介绍了工作流技术；提出了将面向对象建模技术融入Petri网模型所形成的面向对象Petri网，并讨论了建立基于面向对象Petri网的工作流模型的步骤；运用面向对象Petri网建立了某制造企业的产品方案处理流程的工作流模型，并运用性能等价公式对工作流模型的性能进行了分析。     

基于Petri网的办公自动化系统设计

在明确办公自动化系统重要性的基础上,分析办公自动化系统的体系结构、公文处理流程以及模块设计,提出基于Petri网的工作流过程建模、基于工作流技术的办公自动化系统结构模型.     

基于Petri网的工作流模型研究与设计

Petri网是一种适合于描述异步并发现象的系统模型，它既有严格的数学定义，又有直观的图形表示。工作流技术作为实现企业过程集成的有效手段，广泛应用于各种场合。本文在简要介绍了Petri网、工作流与工作流模型的理论后．对公文流转中的发文工作流进行了基于脯网的模型设计。     

工作流系统建模与基于群件的实现

论文讨论了Petri网理论在工作流建模中的应用,建立并分析了公文管理的Petri网模型,对基于Notes的公文管理系统实现中的关键问题给出可行的解决方案。     

基于面向对象Petri网的工作流建模及性能分析

工作流技术作为一种过程建模和过程管理的核心技术,在计算机应用领域获得了迅速的发展。介绍了工作流技术;提出了将面向对象建模技术融入Petri网模型所形成的面向对象Petri网,并讨论了建立基于面向对象Petri网的工作流模型的步骤;运用面向对象Petri网建立了某制造企业的产品方案处理流程的工作流模型,并运用性能等价公式对工作流模型的性能进行了分析。     

基于时间Petri网的工作流建模

随着工作流管理的发展,人们提出了很多扩展Petri网概念用于工作流建模。描述工作流中的资源、资源条件以及任务与资源条件之间的关系是一件很复杂的事情。而现有的用于描述工作流的Petri网在这方面,并不令人满意。该文特别强调资源的概念,在时间Petri网的基础上提出了一种新Petri网———资源条件/任务网(ResourceCondition/Tasknet,简称RC/TN),利用RC/TN网来进行工作流建模,描述工作流的执行过程。并将该工作流建模方法应用于OA流程的描述中。     

基于Petri网的公文流转系统工作流建模分析

公文流转系统是电子政务的核心内容。本文使用高级Petri网对公文流转过程中的收文管理进行建模，并对所建模型进行正确性分析。     

基于对象Petri网工作流建模的研究与实现

结合XPDL（XML Process Definition Language）标准、对象技术和Petri网理论提出了一种工作流网。该工作流网通过Petri网的数学分析来完成对流程的分析验证;通过对象技术来降低流程建模复杂度;通过工作流网和XPDL的映射机制来保证其实用性。在此基础上实现了一套流程建模及分析工具。     

基于Petri网的工作流建模与分析

工作流是一组有关联关系的工作项的集合,它模拟了企业业务过程中实际的或虚拟的工作步骤之间的关系,在实际业务过程中工作项之间除了顺序,分支,循环等关系外还有异步,并行,同步等关系,因此,工作流建模非常复杂,目前还没有一个专门的建模工具满足工作流建模的要求。Petri网是一种图形化的建模工具,具有坚实的数学理论基础。该文探讨和总结了基于Petri网的工作流建模方法,并在此基础上对工作流Petri网（WEPN）进行了分析。它是进一步对工作流进行全面诊断的基础。     

担保业务管理系统工作流的Petri网建模

应用Petri网建模与工作流技术,构建了担保业务管理系统工作流的Petri网模型,并对一个担保业务管理系统工作流实例,给出了基于Petri网化简分析方法的模型化简与性质验证,表明该模型能够对担保业务管理系统工作流进行有效的分析和验证,从而为担保业务管理系统工作流分析提供了理论基础。     

电子商务中制造商模式的Petri网建模

Pertri网是一种强有力的建模工具。它能够自动地表示状态随着时间的变化,也可以对实体间的联系和相互作用建模。本文论述了利用Petri网对电子商务的建模和分析。把一个电子商务模型转换成Petri网模型,就可以利用Petri网的建模优势来分析一个电子商务模型的性能,更好地从模型概念层次上验证电子商务模型在实现过程中的动态行为。     

主动数据库规则集的Petri网建模

讨论了利用Petri网作为建模工具对主动数据库中ECA规则集的建模问题.建立了存储ECA规则状态的Pelri网子网结构,用此子网可构造出单奈规则的Petri网结构,再由单条规则的Petri网构造整个规则集的Petri网模型.结果表明,用Petri网建模能准确地表达主动数据库规则集的语义,并且有利于进一步分析规则集的动态行为特征.     

军用装备维修保障系统面向对象Petri网建模

Petri网模型是离散事件动态系统(DEDS)建模的有利工具,但传统的Petri网模型存在模型结构复杂、缺少时间描述等不足。该文在装备维修保障系统建模中,结合应用面向对象技术和有色Petri网、赋时Petri网理论,提出了将面向对象思想与赋时Petri网相结合进行装备维修保障系统建模的方法,并应用该方法对已有的空军通信导航装备维修保障系统Petri网模型进行了对象化和赋时改造,使得新建模型结构更加简约、直观,有利于扩展和仿真实现,并且具备时间描述功能。     

基于着色Petri网的工作流模型研究

针对传统Petri网建模方法的不足,研究了通过资源结构建模的工作流建模方法.在着色Petri网的基础上提出资源/任务网(R/T-net),并给出基于R/T-net的工作流建模过程.R/T模型能够有效地实现产品数据结构和过程结构的统一,资源流对任务流的控制以及模型的仿真.     

基于petri网的电子政务工作流建模研究

以电子政务系统中的审批子系统为例,研究了一种基于Petri网的电子政务工作流建模方法,该方法是工作流建模和分析的理想工具．具有完全形式化的图形表示和坚实的数学基础。在建立电子政务工作流工作流模型的基础上,论证了该方法的正确性,表明该方法对电子政务系统建模是实用的。     

基于petri网的电子政务工作流建模研究

以电子政务系统中的审批子系统为例,研究了一种基于Petri网的电子政务工作流建模方法,该方法是工作流建模和分析的理想工具,具有完全形式化的图形表示和坚实的数学基础。在建立电子政务工作流工作流模型的基础上,论证了该方法的正确性,表明该方法对电子政务系统建模是实用的。     

Feature based models for manufacturability assessment

This paper presents a Petri-net based modeling tool which enables part programs to be converted to a format which can be analyzed. The method builds upon individual “feature net” and a set of union rules to obtain a complete net of the model. The product manufacturability can be analyzed accordingly. The Petri-net properties of the model are presented in terms of safeness, boundedness, strict conservation, reachability and liveness. The robustness of the system is imbedded into the model with the introduction of cutting condition control, path reachability, and the concept of deadlock free systems. Two structures, line and arc, are presented to illustrate the effectiveness of the present approach. The results shows the strength of Petri-net theory in the modeling of complex part for manufacturability assessment.