基于Petri-Net的流程验证新方法

为解决业务流程管理应用系统中模型可验证性支持不足的问题,提出一种面向应用系统的流程验证新方法。该方法利用Petri-Net网络分析原理,聚焦于工作流网络模型,在关联矩阵、回归态、变迁序列等网络特征量的基础上推导出工作流网流程验证思路,形成了以Petri-Net网络不变量求解为根本的验证算法。设计了实验对算法进行理论分析验证和应用仿真验证,证明了算法的有效性。对算法进行了效率分析实验,实验结果表明,算法在验证效率上要明显优于覆盖图和因果足迹法。最后,开发了验证算法的实用工具程序包,并对其应用效果进行了展示。本文设计的流程验证方法合理高效,适合在实际系统中应用。

PDM系统中工作流管理的设计与实现

在PDM系统中,工作流管理的重要性越来越突出。首先分析了工作流管理的基本功能,然后以产品设计审批流程为例,利用PetriNets模型进行详细分析,并建立工作流模型;最后重点阐述了PDM中工作流管理功能模块的设计与实现。

基于网络的协作式教务管理平台的研究与设计

通过对高校教务管理平台现状的分析,结合教务管理的特点,运用CSCW技术和微软的.Net平台构架一个协作式的、通用的、开放的教务管理平台,阐述了基于网络的协作式教务管理平台的设计框架和系统逻辑结构,以实现教务信息管理的自动化、网络化和协作化.

基于扩展Petri网模型的BPR过程的实现

BPR是对企业的业务流程进行根本性再思考和彻底性再设计,以取得业绩的显著提升的有效方法。文章在分析工作流程模型基本要素的基础上提出了一种适用于BPR的基于Petri网的模型———工作流网,该模型增强了对企业核心流程活动的性能的描述和分析能力。最后文章通过一个业务流程的实例实现了基于扩展Petri网的BPR过程,并讨论和分析了该业务流程重构过程的正确性。

基于Petri网的工作流过程验证方案的研究

工作流管理系统最主要的功能是要能够对业务流程的变化做出有效的反应。然而,当前的工作流管理系统并不能灵活应对业务流程的频繁变化,因为它们对所建的工作流模型几乎没有任何检查,以保证一些最低限度的正确性。本文结合Petri网相关理论技术,提出一种将过程模型验证机制集成到工作流流程定制组件中的方法,并对所采用的验证方案进行阐述。

基于时间Petri网的公文管理工作流模型

工作流建模是公文管理系统开发的重要课题,但以往的文献中却很少考虑公文流管理过程中的时间因素。所以结合高校公文管理工作流的实际应用环境,提出基于时间Petri网的公文管理系统工作流模型,并利用四种基本工作流模型的线性时间推理规则,对其进行时序分析,在线性时间复杂度内解决时间推理问题,用具体数据分析了公文管理工作流模型的性能。对实际公文管理系统的开发具有指导作用。

基于工作流的安全隐患管理系统设计与实现

为了实现安全隐患管理的业务过程自动化,做到在工作中权责分明、相互协调,论文提出了将传统管理信息系统与工作流技术相结合的方案。为此,首先介绍了工作流的概念以及工作流的基本架构,其次对安全隐患管理进行了流程设计与建模,最后提出了基于.NET平台的功能实现并探讨了其实际应用价值。