基于Petri网的人力资源管理的模型设计

讨论了工作流管理系统中Petri网建模技术的基本特点，并利用Petri网建立了企业生产管理中人力资源管理的模型。该模型可作为工作流管理系统中的一个子模型，一旦企业的业务过程发生了变化，用户可通过面向对象的Petri网对业务过程的流程进行修改，修改后的流程将自动地应用在工作流管理系统中。此模型满足了企业建立特定资源模型的需要，实现了业务流程重组的要求，具有适用性和灵活性，为人力资源的自动化办公提供了方便。     

基于Petri网的工作流模型

Petri网是一种很有效的模型描述语言，不仅能描述系统的结构特性，同时还能描述其动态特性，尤其适用于描述含有并行成分的系统，而工作流技术作为实现企业过程集成的有效手段，广泛用于各种场合。在简要介绍了Petri网和工作流基本知识的基础上，指出了基于Petri网的工作流模型的优点，讨论了将工作流模型转化为Petri网模型的基本原则，并且提出了一种扩展的Petri网模型作为一种工作流建模的工具，最后对基于Petri网的工作流模型进行了总结。     

基于Petri网化简方法的工作流模型验证

经营过程的建模、分析与优化是支持企业经营过程重组（BPR）的重要基础,行之有 效的模型分析方法是成功进行模型分析的重要的关键技术问题．在深入分析了经营过程工作 流模型特点的基础上,本文提出了一种基于Petri 网图形化简规则的业务过程模型分析与验 证方法,证明了所提出这套化简规则的完备性和多项式时间的复杂性．并应用一个实例证明 了所提出方法的有效性．     

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

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

一种基于Petri网的审批业务工作流模型

在给出审批业务形式化定义的基础上,针对审批动态行为过程提出了一个形式化模型EABWF net。与传统的面向过程的建模方式不同,该模型以审批角色为中心,以消息为流转机制,以规则为流程控制逻辑。该模型克服了传统建模方式在审批业务工作流建模中缺乏流程柔性和系统灵活性的缺点,能更加直观、清晰地描述审批业务。     

基于Petri网的海关业务流程工作流模型设计

现在人们大多都用Petri网进行工作流建模,但是传统Petri网的柔性和结构性不好,它会使图形变得庞大复杂难以理解.在时间Petri网的基础上引入了资源/变迁Petri网.这里通过对基于Petri网的海关业务流程工作流模型的实例分析可知,通过调整工作流程,最终可以得出优秀的工作流模型来优化工作流程、提高企业运行效率、增强企业竞争力,而且该建模方式也为设计与开发高可靠性、柔性和适用性的工作流模型提供很好的依据.     

基于Petri网的工作流模型性能分析方法

除了有限的仿真支持以得到参考数据以外,目前对于工作流模型性能的理论上的严格分析几乎是空白。在深入分析了经营过程工作流模型特点的基础上,本文提出一种将工作流的Petri网模型分解为事件图的算法,并给出了利用事件图对单个业务实例的处理过程进行性能分析的基础上获得整个工作流模型性能指标的方法。     

基于Petri网模型的工作流引擎设计

工作流引擎是工作流管理系统的核心部分。本文运用Petri网理论来构建一个基于活动的工作流引擎。基于活动的工作流意味着过程由一组需要完成的某些目标活动组成。在本系统中它将嵌套在该牵引供电系统中,用于安全基础问题库系统中业务的处理。本文详细介绍Petri网模型理论对工作流引擎设计,以供同行参考。     

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

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

基于Petri网的审计工作流模型设计与验证

针对计算机审计工作,结合工作流和Petri网方法,建立了一套审计工作流模型.引入了化简的验证方法,并通过化简,对模型进行了正确性验证.利用Petri网的方法,可以降低实际进行计算机审计工作的难度,为审计软件的开发提供了很好的支持.     

混合Petri网的流体随机Petri网模型

混合Petri网和流体随机Petri网作为混合系统的建模方法,其内在的建模机制和分析方法不尽相同,而且这两种机制远未发展成熟.分析并建立它们之间相互转换的方法有助于机制本身的发展完善,并利用对方的建模原语和分析方法对系统进行多角度的分析.提出了一阶混合Petri网转换成流体随机Petri网的形式化方法及转换后变迁合并的方法,并给出了转换和合并方法的正确性证明,最后结合实例简要阐述了这两种方法的实现过程.     

需求信息管理的Petri网工作流模型

针对目前国内软件企业中需求信息管理存在的业务流程问题．提出合理的工作流建模方案。利用Petri网建模技术建立流程实例模型,再建立完整的工作流模型。按照Petri网的数学特性对结果模型进行的正确性分析和验证表明该模型具有良好的数学特性。基于Petri网的工作流建模方法能够为需求信息管理提供合理的解决方案。     

需求信息管理的Petri网工作流模型

针对目前国内软件企业中需求信息管理存在的业务流程问题,提出合理的工作流建模方案。利用Petri网建模技术建立流程实例模型,再建立完整的工作流模型。按照Petri网的数学特性对结果模型进行的正确性分析和验证表明该模型具有良好的数学特性。基于Petri网的工作流建模方法能够为需求信息管理提供合理的解决方案。摘要:     

A First-Order Hybrid Petri Net Model for Supply Chain Management

A supply chain (SC) is a network of independent manufacturing and logistics companies that perform the critical functions in the order fulfillment process. This paper proposes an effective and modular model to describe material, financial and information flow of SCs at the operational level based on first-order hybrid Petri nets (PNs), i.e., PNs that make use of first-order fluid approximation. The proposed formalism enables the SC designer to choose suitable production rates of facilities in order to optimize the chosen objective function. The optimal mode of operation is performed based on the state knowledge of the obtained linear discrete-time, time-varying state variable model in order to react to unpredictable events such as the blocking of a supply or an accident in a transportation facility. A case study is modeled in the proposed framework and is simulated under three different closed-loop control strategies.     

基于Petri网的信息系统集成项目管理模型研究

针对当前项目管理规划软件存在的缺陷,介绍了一个基于Petri网的信息系统集成项目管理模型(DSPM)的设计和实现机理。该模型利用知识库和工作流技术,很好地将项目过程管理与工作流系统集成起来,并且提出了一种有效的任务依赖关系管理模式,很好地解决了项目规划、调度、变更等关键问题。     

生产系统的Petri网模型

本文提出了有消解过程的系统建模方法,并为随机模型建立了逐步精细原则,展示了系统性能分析的实例,探讨了建立外部监控模型的原理,研究了调控模型智能化问题,引入了用智能方法实现理想外部监控器的研究结果。     

MP4大片轻松做

如今电脑已经是RMVB、AVI、WMV的天下但在手机和便携式媒体播放器上，MP4才是当之无愧的“老大”， 由此产生一个问题．就是我们如何才能把流行于电脑的RMVB、AVI、WMV电影以及DVD影碟方便快速的转换成MP4。     

基于Petri 网的工业设计过程管理工作流建模研究

工业设计过程建模是产品设计过程管理研究的关键环节,直接影响着项目开发周 期和整体效益,但目前工业设计行业没有针对设计过程管理有效的建模技术及其系统。为实现 对工业设计企业设计过程动态性、结构性和有序性管理,在产品设计过程管理中引入面向过程 的组织管理与流程优化的工作流技术及Petri 网建模方法;然后根据对设计过程管理流程的研 究,构建了设计过程管理工作流程图;进而结合工作流技术、Petri 网过程建模方法和工业设计 过程管理流程提出工业设计过程管理的4 个阶段工作流建模方法：本体分析、元素提取、元素 概括、元素带入;最后,以工业设计过程管理建模领域为例构建了基于Petri 网的工业设计过程 管理工作流模型,在此基础上实现了工业设计过程管理原型系统。     

用Petri网描述程序精化中的循环不变式

形式化方法把程序看成规范,形式化开发方法包括形式规范和规范(程序)的精化.精化演算方法能够通过演算的方式,把规范逐步精化为程序.然而,演化的过程依赖于开发人员的经验,整个过程全部都是手动的.形式化方法的最高目标是软件自动化,使得能从规范自动开发出正确的程序.因而用Petri网来描述程序精化中的循环不变式,希望以此作为软件自动化的一个探索.