一个基于RTBAC的Petri网工作流模型

以传统Petri网理论为基础进行形式化描述其控制流.并结合基于角色任务的访问控制(RTBAC),通过扩展了时间特性以及颜色特性的Petri网进行更准确、形象的描述其工作流授权模型.该模型实现了访问控制授权流与工作流的同步,满足了公文审批业务工作流"面向任务"的访问控制要求;引入时间概念,使访问控制的授权约束与时间有关,从而满足审批业务工作流中任务的时效性要求,该模型还包含了其它安全约束如SOD(职责分离)以及角色层次关系结构等概念.最后,对所建模型进行了正确性验证.     

基于Petri网的集成系统工作流建模的研究

在分析大量实际工作流特征的基础上,总结了实际工作流执行中的路选结构情况,在此基础上改进了WM FC提出的Petri网工作流模型,提出了基于Petri网技术构造工作流模型的FA-PN网(F low A PetriN et)并介绍了使用所建模型构建实际复杂合同评审系统的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网(SC-TOOPN).SC-TOOPN使供应链工作流建模更具结构化和动态化的特点,可以为系统提供一种形式化的建模工具.     

基于工作流的电子政务系统

随着21世纪的到来,办公自动化应用需求和计算机网络技术迅速发展,基于工作流的电子政务系统已成为一门综合性的技术,并成为"信息时代"的重要标志。文章以合肥市土地局地籍管理政务系统的研制为例,对工作流作为电子政务系统的重要组成部分进行了阐述,介绍了LotusNotes设计电子政务思想、技术特色,总结了该系统对政府实行电子政务的意义,分析了该系统推广应用的范围、条件和前景以及有待解决的问题和改进意见。     

基于工作流网的过程模型的合理性分析

针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网(WF-net)。基于两种不破坏原工作流网络结构特性和系统行为的调整映射,将工作流网调整为完全的扩展自由选择网(EFC-net),结合秩定理,给出了验证工作流合理性的算法。     

工作流项目的代理安全机制

将工作流授权模式作为动态授权模板与工作流过程中的每个任务关联．当关联的任务需要实现代理授权时，通过代理者工作流授权模式给出相应的权限分配许可，以完成工作流过程内分离的独立任务被授权代理用户执行时，代理授权方式的权限安全管理模式．结果表明，在工作流授权方式中加入代理授权方式，用户可通过代理机制实现对任务拥有相应权限的方法．     

基于动态规划的柔性工作流

为提高柔性工作流对业务环境不确定性和多变性的响应能力,提出了一种基于流程模式的工作流动态规划技术.采用流程模式的知识表示方法描述业务领域专业知识,工作流建模阶段不确定的执行过程或执行因素用一个特殊的"目标活动"来表示;通过在流程执行过程中实时获取目标活动的上下文信息,实现流程执行过程中的实时规划,使得流程的执行过程能够更加实时地反映外界影响因素的变化;给出了基于动态规划柔性工作流的结构化设计和上下文数据的形式化定义,进而设计了目标匹配的流程规划算法,该算法支持流程的递归规划.最后,给出了一个"接收对象不明确"的工作单分发流程实例,表明了动态规划的优势,并与其他支持工作流柔性的方法进行了比较.     

基于工作流技术的OA系统研究

讨论了工作流技术在OA系统中的应用,给出了基于工作流管理的OA系统模型。     

楼宇门禁系统基于petri网的分析和设计

Petri网具有优势,比如同步、并发、冲突等特点,因此可用来对复杂系统进行建模。但是在复杂的系统建模过程中,设计者会常遇到子系统的合成问题,本文介绍了一种共享P-型子网的合成。本文以楼宇门禁系统为例,分析了门禁系统的各种情况及该情景下的Petri-网模型,最后根据各个Petri子网的特点,采用了共享P-型合成方法,合成为一个系统的整体建模图。     

本体在政务工作流模型中的应用研究

介绍了本体的内涵、概念,讨论了本体在政务工作流模型的应用.在讨论了工作流模型和政务工作流应用特点的基础上,提出了政务工作流模型,并建立了政务工作流元模型、政务文书元模型和政务机构元模型.给出了OWL＋RDF＋XML的形式化描述.实验证明,本体能有效地应用到政务工作流的建模过程中.     

基于Web服务工作流管理系统框架设计

在分析传统工作流管理技术不足的基础上,提出将Web服务引入工作流管理系统的设计框架.通过探讨Web服务和工作流管理技术在物流集成系统中的应用实践,说明该设计框架能实现具有平台无关性、松散耦合、互操作性好的企业联盟.     

一种基于PNML的工作流模型的实现

讨论一种用PNML(Petri网标记语言)实现工作流过程模型的方法,采用面向对象的设计思想描述了工作流网的基本组件、工作流触发机制的实现,并在此基础上进一步探讨了模块化实现工作流实例的策略。     

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

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