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

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

基于Petri网的时间约束问题

为了解决复杂工作流模型中时间约束造成工作流崩溃问题,提出条件模糊时间Petri网工作流模型.首先给出条件模糊时间Petri网工作流的定义.然后给出模糊时间Petri网的三种基本模式的模糊时间推理,得到每种模式下Petri网工作流模型,同时在理论上验证所提出模型的必要性.最后通过实例说明根据条件模糊时间Petri网工作流建模,可以有 效地避免由于时间约束造成的工作流崩溃问题.     

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

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

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

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

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

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

基于路径恢复的ATM/SDH网状网自愈结构

研究了异步转移模式／同步数字序列的多层网状传输网络中的自愈机制，提出了一种既能提高恢复速度又能降低实现复杂性的基于路径恢复的自愈结构，给出了充分利用网管中心智能的两级恢复路由寻径算法。计算机仿真表明，该结构及其核心算法是可行的，其自愈恢复时间小于文献中已有的方案。     

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

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

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

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

基于Petri网的企业高新技术产业化进入战略研究

讨论企业高新技术进入战略的类型,并运用Ｐｅｔｒｉ网理论对企业制订高新技术进入战略的过程进行了描述与分析。结果表明,Ｐｅｔｒｉ网理论在战略管理领域具有潜在的应用价值。     

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

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

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

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

网络传输层协议的随机Petri网模型及性能分析

描述了广义随机高级Petri网(GHLSPN)在计算机网络传输协议的模型与性能评价中的作用, 并对影响网络性能的系统指标进行了讨论;同时考虑了确认控制、窗口流控制和错误重传控制等机制对网络系统的性能影响,克服了以往对网络性能评估的某些局限。     

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

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

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

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

基于Petri网的函数式程序的結构程序設計方法

本文提出一种“用来开发规模不小的、并发的函数式程序(FP程序)的结构程序设计方法”,它基于一种“带解释的Petri网图式(ISPN)”。待解的问题写成以ISPN表达出来的形式说明。由于ISPN能逐步求精,自顶向下的结构程序设计方法也能移用于开发(大型并发)函数式程序。最后阶段,根据文中提出的形式化了的法则,可以将ISPN表示成函数式程序。     

基于Petri网的动态工作流在信用担保系统中的应用研究

以Petri网为建模工具,考虑在原有静态工作流网基础上,实现对其进行动态定义和动态修改。针对典型的担保业务流程,对担保业务进行基于Petri网的动态工作流建模,并将系统付诸实现。     

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

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

基于成本效用分析的经济系统优化模型研究

运用成本效用分析指出经济系统最优化条件仅与经济系统的生产函数类型以及投入要素效用贡献指数的取值有关.揭示了由资源稀缺性和技术条件所决定的系统优化过程.     

μ—Petri网多微处理机实现的设计方法论

本文探讨在以多微处理机实现μ-Petri网(一种加以半解释的安全Petri网)这一工作中可遵循的设计方法论。先定义μ-Petri网可描述相当广泛类型的并行异步过程的控制结构。引入μ-Petri网的标准型式后,将μ-Petri网转换成标准的异步时序线路,再写出此异步时序线路在容许输入序列集下的转移/输出表(编了码的流程表)。分裂转移/输出表(如果给定的μ-Petri网规模相当大,特别是p结点为数相当多,因而此表也相应大),提出相应的多微处理机总体结构。以M—6800微计算机族为例,阐明如何实现μ-Petri网成多微处理机系统。