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

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

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

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

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

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

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

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

Pelof语言的一种操作语义模型

Pelof 是一种融合 Petri 网、逻辑和函数三种风格的作用式并行程序设计语言.它的基本成分是谓词和函数,Petri 网体裁提供并行控制的工具.文献[5]中给出了 Pelof 语言的文法及设计思想.本文在文献[1,2]工作的基础上,以 FFP[3]为抽象机,采用形式化的方法为 Pelof 语言塑造了一种操作语义模型.     

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

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

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

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

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

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

基于Petri网的时间约束问题

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

PETRI网及其在建设系统中的应用探讨

针对Petri网对离散性事件系统和同步系统模拟的优势，构造几种适用于工程作业过程的Petri网基本结构，对建设系统进行模拟，并举例予以说明。     

可达树分析法及其在测试中的应用

介绍了数字电路故障诊断的Petri网模型和Petri网的分析方法之—─—可达树分析法。该方法应适用于各种Petri网,但由于状态空间的复杂,其限适用于较小Petri网。并研究了可达树分析法在数字电路故障测试中的应用。     

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

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

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

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

体现整体性与结构性的商业MIS的分析与设计

在对商业管理信息系统（ＭＩＳ）结构进行分析的基础上，运用拓扑分类方法给出了系统的开发策略．根据从多个角度刻划系统的原理，运用规范化的ＩＤＥＦ方法设计处理模型和信息模型．系统具有较好的结构性和可维护性，并取得了整体效果．     

VLSI功能测试的最佳测试序列的选取

介绍了ＶＬＳＩ功能测试向量生成的Ｐｅｔｒｉ网模型和Ｐｅｔｒｉ网模拟测试序列中指令的关系,构造了压缩存储网络的拓扑信息的Ｐｅｔｒｉ网简约矩阵。用Ｐｅｔｒｉ网简约矩阵检查测试序列的不确定度,使测试序列不确定度最小,从而优化了测试序列,即从给定的指令中选出了最佳测试序列。     

供应链的杠杆管理模式及模糊思考

现代企业对供应链的管理日益重要。供应链包括顾客需求所直接或间接涉及的所有环节。供应链管理需要把原先被认为是分开的供应过程的各个部分联合起来。对供应链的价值网管理模式进行了论述,提出了供应链的杠杆管理模式,强调了企业目标的重要性和顾客需求的核心地位,并且进行了模糊思考。     

试论中介机构和政府在区域创新网络中的作用

本文探讨了区域创新网络的概念及其特点,重点讨论了中介机构和政府在构建区域创新网络、促进技术创新中的作用。作者认为区域创新网络的功能旨在使产生创新的元素:人才、技术、信息和资金在网络中迅速流动起来,并且通过每个网络节点本身的创新来实现技术创新。     

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

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