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

产品开发过程的建模、分析与优化是支持企业开发新产品的重要基础,而Petri网是一种行之有效的模型描述语言.论述利用Petri网建立面向企业新产品开发过程的工作流模型,并对其进行简化.     

航空企业的知识流Petri网模型

本文论述了用通信领域描述进程之间通信的Petri网描述知识的流动,讨论了知识价值的表现形式及其资产形态,建立了一航西飞在新舟60飞机详细设计阶段的知识流Petri网模型,分析了知识共享和创新在飞机销售业绩上的贡献。     

正态分布随机Petri网的串并行结构化简

基于正态分布随机Petri网的串行和并行两种基本结构的化简开展研究,推导出在正态分布广义随机Petri网中化简串行模型的等价理论公式,即合成执行时间为各个变迁的执行时间之和,仍服从正态分布,并且合成均值等于所有变迁执行时间的均值之和,合成标准偏差等于所有变迁执行时间标准偏差的方和根。还提出了并行模型的模拟仿真计算方法,分析了两个并行变迁独立不同分布时的情况,并给出了近似估算公式,在公式中,均值较大的变迁权重较大。     

基于Petri网的电子政府采购的工作流建模

工作流技术在业务流程重组、办公管理及资源协调等领域获得了广泛应用,已成为系统建模领域广泛采用的方法.政府电子采购过程中应用工作流技术可有效地对采购流程进行重构和优化,Petri网是一种适合工作流过程建模的理想工具.政府电子采购过程的Petri网模型可以清楚地描述政府网上采购业务流程,解决政府采购过程中各环节之间的并发性、异步性等问题.     

Petri网在旅游管理系统中的应用

随着旅游事业的不断发展,旅游业逐渐成为一些地区财政收入的主要来源.利用Petri网工作流建模方法,对旅游管理系统进行建模,并利用Petri网对其进行分析,实现旅游管理自动化的业务过程模型.     

基于面向对象有色Petri网的FMC模拟系统

分析了采用面向对象有色Petri网对FMC进行建模和分析的优点,并提出了将解释Petri网与面向对象有色Petri网相结合实现FMC模拟系统的方法。     

基于有色Petri网的政府电子公文通用工作流模型的构建

基于有色Petri网的基本理论和政府公文处理的国家标准,结合政府电子公文的处理特点,给出了收文流程和发文流程的形式化定义及其建模步骤,完成了政府电子公文通用工作流模型的建构,实现了流程再造,并且在基于Lotus Domino群件的平台上进行了实践和应用.     

基于Petri网的企业业务流程集成的研究

传统的业务流程集成过程包含五个主要的步骤——业务流程集成建模、仿真、执行、监控和 优化。这五个步骤组成了一个闭环,以期达到最佳的集成效果。虽然这个步骤已经得到广泛应用,但还是存在着一些不足。文章将上面提到的业务流程集成步骤与层次Pe tri网理论结合起来,提出了一个改进的业务流程集成步骤。这个步骤可以解决原步骤中执行周期长、消耗大的问题。同时,着重论述了其中的一个主要步骤——业务流程集成建模, 这也为业务流程集成在实际项目中的应用奠定了理论基础。     

基于Petri网的出口物流系统建模研究

出口物流系统是由离散业务组成的动态的系统,其业务流特征是以信息的传递和处理来推动系统的运行。本文在介绍Petri网定义、变迁规则的基础上建立其Petri网模型,提出业务流在Petri网中的运行方法以及利用Petri网分析其业务流属性的途径。     

Petri网在电信业务过程建模中的应用

工作流技术可以帮助电信企业提高管理水平 ,本文先介绍了工作流 (Workflow)的基本概念 ,然后阐述了Petri网在电信业务过程建模中的应用     

基于Peti网的WEB服务组合建模及验证

Web服务组合是为了应对日益复杂的业务处理流程,将单一的web服务组合在一起形成一个新的服务。正确的组合web服务是有效应用这些服务的前提,为此研究了利用Petri网组合Web服务的方法和web服务组合模型的验证算法。在对工作流和Web服务组合进行分析对比的基础上,借鉴基于Petri网的工作流建模技术,给出了一种基于Petri网技术的Web服务组合建模方法．采用直观的图形表示Web服务组合模型。结合Web服务组合模型的合理性定义,设计出Web服务组合模型合理性验证算法,利用库所向量和服务集合的表示方法对Web服务组合模型进行分析验证。最后用一个具体实例对Web服务组合建模和验证方法作进一步说明。     

基于面向对象时间约束Petri网的加工-装配车间资源可调度性研究

为了解决加工装配车间的资源冲突问题,提出了基于面向对象时间约束Petri网的加工装配车间资源可调度性 判定方法。该方法给出了面向对象时间约束Petri网的语义描述和可调度性定义,建立了基于面向对象时间约束Petri网 的加工装配车间的建模方法,提出了基于加工装配车间各资源生产的最早触发开始时间和最晚触发结束时间的车间可 调度性判定依据与判定步骤,并给出了资源不可调度时的改进方法。给出了应用实例,验证了所提出的判定方法的有 效性。     

基于Petri网的多Agent系统设计与实现

以面向对象Petri网OPN为语义基础,从软件体系结构的角度,建立了一种直观的多Agent系统模型MASM,可以形象地描述Agent的内部结构和动态行为。为了缩小形式化模型与系统实现之间的差距,基于MASM设计了一个多Agent系统开发工具箱MASDT,提供了多Agent系统的基本实现框架。利用MASM对智能加油站系统进行建模和分析,并用MASDT开发了智能加油站系统原型,证实了所提出的一系列理论和方法对于实际系统开发具有一定的指导意义。     

信息不完全应急物资转运系统的随机Petri网建模

对信息不完全条件下的应急物资转运系统建立了一个随机Petri网模型。根据这一模型，找到了计算各个状态中驻留时间、卡车的平均利用率、物资分发点等待物资的平均等待概率、物资分发点等待物资的平均等待时间的方法。使用这个模型对某企业在汶川特大地震应急物资保障中的物资转运系统的性能进行了计算，性能计算的主要结果与实际统计数据吻合。     

昆明市公路客运枢纽换乘网络分析与评价

为了合理评估昆明市公路客运枢纽换乘网络的运营效率,在考虑城市综合客运枢纽功能及乘客换乘行为特征的基础上,系统分析了昆明公路客运枢纽换乘网络的要素与形态。通过乘客问卷调查采集实际数据,综合利用层次分析法与模糊综合评价法,建立城市综合客运枢纽换乘网络的评价指标体系与评价模型,并对昆明市五大客运站运营效率进行评估,结果表明五大客运枢纽换乘效率均处于＂一般＂水平,在此基础上提出相应的换乘网络优化对策。     

现代铁路运输企业效绩评价体系研究

本文就现代铁路运输企业开展效绩评价的目的、主体与客体、指标的设计、指标权重的确定、标准值的测算与确定、效绩评价方法、效绩评价的组织与实施展开了论述.其中,指标的设计借鉴了平衡积分卡的理念,提出现代铁路运输企业效绩评价指标应反映财务层面、创新能力层面、业务流程层面、客户层面、职员层面五个层面的能力,并对各个层面进行合理有效分类,确定各个类别的具体单项指标,共拟订了5个层面、17个类别、31个单项定量指标.     

结点水准网平差及精度评定的统计功能实现

指出结点水准网等权替代法进行平差计算的理论依据为序贯平差，在分析结点水准网序贯平差特点的基础上，给出了其逐次平差和精度评定的实现步骤。剖析了计算器中固化统计功能程序的实质，扩展了其应用范围，给出了在实数权情况下各统计功能的含义，结点水准网平差统计功能实现的方法，并通过算例进行了验证。     

教育财政支出绩效评价：模型及其通用指标体系构建

根据绩效评价一般原理,通过对教育财政支出的基本理论及《中华人民共和国教育法》对政府教育职能相关规定的分析,给出了绩效评价模型,并以此从总体状况、目标达成、合规性、直接影响以及间接影响等五个方面构建了一种通用指标体系,为教育财政支出绩效评价的实施奠定了基础。     

一类基于KTC的主动节点密钥建立协议

主动网络是一种功能强大、配置灵活的新型网络体系。该文介绍了主动网络技术以及密钥建立协议在主动网中的应用功能,论述了网络安全中的密钥管理以及伪随机密钥与初始向量的产生过程,给出了一个基于密钥传递中心的主动节点密钥建立协议。     

有优先级话音业务的PPRMA协议性能分析

研究了ＰＲＭＡ（分组预约多址协议）中话音业务具有多种优先级的情况,采用平衡点分析法（ＥＰＡ）推导了话音分组丢失率和平均延迟时间的计算式。给出的计算和仿真结果表明,ＰＲＭＡ可以支持ＶＢＲ语音和低速数据业务的综合传输,但当系统中有多种优先级别的语音终端时,系统容量存在门限效应。