基于Petri网的应急管理工作流模型

讨论了由Petri网发展起来的工作流网WF-net的定义、工作流执行结构及任务触发方法,引入WF-net建立应急管理信息系统工作流模型,提出了一种基于Petri网工作流模型的建模方法及其相关规则．以一个省级应急管理系统为例,详细阐述了构建Petri网工作流模型的过程,并利用验证工具对该模型进行了正确合理性分析．     

基于Petri网工作流过程模型合理性验证方法

为保证工作流建模过程的正确性,对基于Petri网的过程建模中存在的潜在错误进行了归纳和总结,分析了合理的工作流过程模型应该满足的条件和要求,并针对自由选择网提出了一种有效的合理性验证算法。实验证明,该算法在实际应用中具有可操作性,有较强的现实意义。     

基于Petri网的面向测试的工作流系统建模方法

提出了一种基于Petri网的I/O_WF_Net模型。该模型将工作流中的活动抽象为Petri网中的迁移,将每个活动的输入输出抽象为Petri网中的库所,便于以后应用其生成测试用例。介绍了对工作流中各种组成部分及不同结构的I/O_WF_Net模型建模方法,给出了将带有输入输出约束的工作流网转化为I/O_WF_Net模型的算法及转化后模型的化简方法。     

工作流建模技术在出版信息系统中的应用

工作流建模非常复杂,目前还没有一个专门的建模工具满足工作流建模的要求,在探讨和总结当前比较流行的几种工作流建模方法优劣的基础上分析了工作流网技术,最后将该技术成功应用在出版社的工作流过程建模中.     

基于Petri网的工作流模型构建

Petri网以其良好的数学基础和可视化的建模方法已成为工作流研究中的重要建模工具。尤其对办公自动化建模时,在描述和分析对象上有其独到的优越之处,本文以协同办公系统中的生产计划管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证。     

基于AOE网的工作流程主关键路径的研究

工作流建模是工作流管理系统的重要组成部分,工作流管理系统提供工作流建模工具,绘制流程的活动网络图,形象展示工作流模型。根据活动网络图中的AOE网来展示工作流模型,把对AOE网的关键路径的求解算法应用到工作流的关键路径的求解中来。     

基于层次工作流网和构件的装备管理过程建模

为了克服复杂工作流模型的状态爆炸问题、提高模型的复用性,运用层次细化理论,构建了层次工作流网,并对装备管理进行了基于层次工作流网的建模.在此基础上,利用构件思想将层次建模中划分出来的原子级的功能操作模块和独立的子流程构件化,制作成可独立发布的构件模型,应用于整个装备管理工作流建模中.通过对构件的调用,使所建模型直观简单、便于修改,而且达到了一次建立构件后多次使用的目的,增强了模型的复用性,减少了建模工作量.     

基于着色工作流网的产品开发过程建模与分析

对产品开发过程进行建模和分析可以加深设计人员对开发过程的理解。在着色工作流网（WFCP—net）的基础上建立了产品开发过程模型，随后对模型进行了分析并进行了模拟。结果表明，对着色工作流网建立的模型，可以在一个模型实例中同时运行多个实例；同时为业务规则从业务过程中分离出来提供可能。     

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

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

基于扩展时间工作流网的工作流过程建模

工作流管理系统中时间约束意义重大.为了在工作流模型中引入时间因素,对模型的时间性能进行评估,提出一种基于扩展时间工作流网模型.通过对模型进行形式化定义,描述了模型到工作流过程模型的映射,并针对工作流网模型存在的4种基本逻辑结构,提出一种时间线性简化规则;运用此简化规则,对工作流网模型进行压缩,以便计算所建模型的时间性能.最后结合一个工作流实例,运用提出的简化规则对约束上的常量时间进行了初步分析.     

学术期刊网络化订阅系统建模与实现

分析了传统学术期刊订阅与发行方式的特点和不足,针对网络化运行环境下学术期刊订阅与发行方式的需求,基于工作流网设计了学术期刊网络化订阅系统的模型,对模型的合理性进行了论证,依据该模型,结合J2EE架构,设计了订阅与发行系统实现的方案,经实际运行表明,该方案可行。     

基于Petri网的贷款业务流程优化分析

业务流程优化分析在业务流程管理中扮演着重要的角色。基于Petri网对银行贷款业务进行建模分析,提出基于Petri网的贷款业务优化分析方案。首先从贷款业务流程的决策角度分析工作流网与数据流模型Petri网(DDP-nets)对建模的影响,结合两者优势提出数据决策Petri网模型的定义。然后通过建立贷款业务流程的数据决策Petri网模型,分析模型的合理性。其次利用两种方式对决策模型的决策变迁映射集(∑部分)完成实现。最后从普适性、模拟能力、简洁性角度与原模型分析对比,得出优化模型的优越性。     

一种基于有色Petri网的工作流网模型

使用工作流网（WF-nets）描述工作流的业务流程时，可能产生由于托肯含义的不确定性而导致的工作流逻辑的二义性。在分析产生这种二义性原因的基础上，定义了一种基于有色Petri网的工作流网模型CWF-nets，给出了严格的定义和变迁发生机制，并分析了其正确性。利用CWF-nets可以准确描述业务流程的工作流逻辑，且这种逻辑结构与工作流具体案例的属性数据无关，避免了上述问题。     

基于人工神经网络的知识求精方法

将神经网络用于知识求精的主要局限性,是训练时不能改变网络的拓扑结构。本文根据结构学习算法提出了一种基于神经网络的知识求精方法,训练时采用动态增加隐含节点和网络删除改变拓扑结构,然后提取求精后的规则知识。大量实例表明,该方法是有效的。     

基于分层Petri网的面向服务需求求精

为了使结构化面向对象形式语言（SOFL）适应面向服务的软件架构，提出了一种用于面向服务架构软件需求求精的新方法.使用分层Petri网进行建模，利用顺序图对消息传递进行分析，采用SOFL对非形式化和半形式化的系统描述逐步求精.讨论了基于分层Petri网的Web服务，定义了分层服务网、分层Web服务相关概念，描述了用于Web服务软件需求的分析、设计和建模完整过程，并给出了旅游服务中该过程的具体实例.实例分析表明，该方法适宜Web服务分析建模，可帮助用户实现不同粒度Web服务.该方法有助于对面向服务环境下软件需求求精和验证的探索.     

改进的Apriori算法对语音合成中韵律参数的预测

在语音合成系统中,韵律特征参数的描述正确与否直接影响着语音合成系统的输出效果。为了 解决目前语音合成技术中提高合成语音自然度这一难点,研究了数据挖掘技术来发现韵律参数之间的 相互关系。通过改进Apriori算法对这些关系进行规则描述,来解决目前语音合成中缺陷的前后音节的 韵律参数之间的关系。结果表明,经改进后适合语音数据的Apriori算法,可以获得汉语韵律参数中基频 参数和时长参数的变化规则,这些规则较方便的为语音合成系统的选音提供帮助和指导。