基于Petri网的工作流建模技术及应用

工作流管理技术是 90年代初新兴起的软件技术。其实现的关键在于工作流概念模型的建立。虽然信息系统领域的建模理论已经发展得较为成熟 ,但在工作流管理领域还没有一个专门的建模工具来满足工作流建模的需求。通过对几种概念建模方法的比较分析 ,论文选择 Petri网作为工作流建模的主要工具 ,并探讨和总结了工作流程的路由结构、触发机制、可靠性工作流模型的分析方法 ,转换原则和组合性质 ,最后通过一个案例进一步阐述了基于 Petri网的工作流建模技术。实际应用表明该建模方法简单、可行 ,能够保证工作流模型的有效性 ,而且便于工作流网络的计算机形式化表示 ,有利于工作流管理系统 (WFMS)的实现。     

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

工作流建模是工作流研究中的关键问题.论文在对当前工作流中的主要路由模型分析的基础上,结合Petri网的结构、形式化定义和流程建模方法,建立了从工作流到Petri网的路由映射模型.通过对贷款处理流程的工作流建模分析表明,基于Petri网的工作流建模方法具有直观、简洁等优点.     

基于PETRI网的政府办公系统工作流建模研究

提出了一种基于PETRI网的政府办公系统工作流建模研究方法。讨论了该工作流程的控制关系及约束条件等。用一个实例对所提出的建模方法进行了说明。实际表明该建模方法简单、可行，并能保证工作流模型的有效性。     

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

工作流是对一组有关联的工作任务间的依赖关系的形式化描述,是实现企业业务流程的有效手段。本文从工程实践的角度介绍了在IBM Rational Portfolio Manager中如何使用Petri网对工作流进行建模和使用不变量分析法和可覆盖性树对模型进行分析过程,从而提高了在RPM中进行工作流设计的正确性和效率。     

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

针对工作流系统的特点对时延Petri网模型进行扩展,提出了一种新的工作流建模方法.并以某一检查案例为工作流模型,进行了工作流建模和时间性能分析.     

基于Petri网的工作流建模技术的应用研究

重点研究基于Petri网的工作流建模的分析技术,并以高等院校毕业设计管理系统中的双向选题过程为实例,研究了模型正确性判定及优化等问题.实际表明,该建模方法简单、可行,并能保证工作流模型的有效性.     

基于工作流的企业过程的建模和仿真技术研究

过程集成是提高企业运行效率、增强企业柔性的一种全面集成方式 ,企业建模和仿真可以为企业过程的分析和优化提供依据 ,是实现过程集成的重要支持技术。工作流技术和集控 Petri网方法作为企业建模和仿真的支撑技术 ,各自都有着明显的优点和不足 ,而它们二者之间具有很强的互补性 ,如果能够将二者巧妙的结合起来 ,将为实现过程集成提供有效的帮助。首先给出了基于工作流的企业过程的建模、仿真、使能系统的模型和体系结构 ,然后介绍了将工作流模型转化为集控 Petri网来实现企业过程仿真的方法以及仿真过程中时间和成本等性能参数的计算和分析方法     

基于Petri网的工作流仿真建模研究

工作流仿真模拟工作流执行的环境,高效、低成本、快速地执行工作流过程,通过分析仿真结果,来发现模型中存在的问题,达到工作流优化和重组的目的.仿真模型是仿真的前提和基础,该文介绍基于Petri网的工作流模型,讨论了在此模型基础上如何添加仿真信息,映射基于Petri网的仿真模型,并以工作流仿真的部署,说明了仿真建模的研究.     

基于Agent的物流仓储工作流建模

为使物流仓储业务流程达到敏捷、高效,能够适应不断变化的环境,有效利用各种资源完成客户委托,采用较先进的Agent理论,从物流仓储系统流程中抽象出订单管理、业务流程重组、资源调度3个相对独立的子问题,抽取出相应的Agent;并进一步明确每个Agent完成的具体任务,以及与其他Agent的交互.用Agent理论进行系统分析和设计,为以后的实现打下坚实的理论基础.同时对于建立具有自适应性和学习性的智能模拟系统也是一次有益的尝试.     

Petri网在OA系统工作流中的应用

Petri网既有严格的数学描述,又有直观的图形表示,是理想的工作流建模工具.本文以OA系统中收发文管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证.     

基于扩展库所网的工作流过程规约和模式描述

通过扩展库所的属性, 给出了一种新的Petri网模型,用来规约工作流过程和表示工作流模式,并提出了一种称为参数化模式的新模式。通过区别变迁和工作流路由,使得模型中的库所和变迁能够分别表示引擎的动作和需执行的任务。基于传统的Petri网的工作流模型不适合描述工作流过程所代表的行为,因此提出了ST触发规则表达网模型的语义。     

基于工作流技术MIS系统的分析与设计

运用Petri网工具对工作流技术进行了详细的分析与描述,并结合MIS系统开发的实际,对工作流技术在MIS系统中的应用进行了Petri网分析,最后春出了工作流的管理和控制模式以及分布式MIS系统中工作流技术的实现形式,实践证明,工作流技术既有助于系统的分析与设计,又方便了用用户的使用,从而大大提高了系统的性能。     

基于UML的工作流建模研究

统一建模语言UML是面向对象分析和设计过程中的重要的建模工具.文章在介绍UML的基础上,以公文流转系统为背景,使用UML进行过程建模,分析了UML图与系统开发生命周期各阶段的对应关系,讨论了UML的建模机制和建模过程.     

基于Petri网的电子运维系统工作流建模

通过运用工作流网的建模方法,将电子运维系统中的档案提取工作流实例映射为更易于计算机化的工作流网模型。为了提高该模型在实际应用中的执行效率,提出了一种提高系统执行效率的方法。该方法通过应用马尔可夫链理论,检测出影响系统执行效率的瓶颈,通过消除瓶颈达到提高系统执行效率的目的。结果表明将该方法应用于档案提取工作流网模型,可以有效的提高系统的执行效率。     

基于Petri网的工作流访问控制技术研究

访问控制是信息安全中的一种重要保护机制。访问控制矩阵规定了主体对客体的访问权限。传统的访问控制矩阵是静态的,本文描述了一种基于Petri网的工作流动态访问控制机制,它根据工作流的状态来确定主体对客体的访问权限。通过对比,动态访问控制机制使得访问控制权限更加细分,从而具有更高的安全性。     

一种形式化的工作流网模型

提出基于Petri网的形式化的工作流网模型,用Petri分析技术对工作流业务流程的动态行为进行了描述和分析,并给出了详细的建模算法。     

工作流技术及建模方法研究

本文介绍了工作流参考模型及基本概念,在此基础上分析了工作流建模工具,阐述了基于不同Petri网的工作流建模方法.     

工作流技术及建模方法研究

本文介绍了工作流参考模型及基本概念,在此基础上分析了工作流建模工具,阐述了基于不同Petri网的工作流建模方法。     

广义随机Petri网在工作流建模中的应用研究

工作流管理技术是20世纪90年代初兴起的软件技术,其实现的关键在于工作流概念模型的建立。Petri网(GSPN)作为一种图形化的数学建模工具,适合于工作流领域的建模需求。提出了基于广义随机Petri网的工作流建模方法,运用可达图法对工作流正确性和可靠性进行检查。利用GSPN与马尔可夫链的同构关系,采用GSPN和马尔可夫链相结合的工作流性能分析方法,为工作流性能的有效评估提供理论依据。实例验证该方法是有效性的,有利于工作流管理系统的实现。