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

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

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

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

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

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

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

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

故障Petri网在机械系统剩余寿命预测中的应用研究

机械故障伴随着故障信息由底层向高层动态的传播，在分析故障传播特性基础上，定义了故障Petri网(FPN)，通过引入过程库所，建立了机械系统故障信息传播模式的故障Petri网描述，提高了Petri网在机械故障领域中的时域建模能力，举例说明了如何利用FPN预测机械系统的剩余寿命。     

供需网的IDEF0模型构建及MIFPN模型转换

将IDEF0模型与Petri网相结合,对多信息流系统进行功能描述和动态行为关系分析,提出了多信息流Petri网(MIFPN)的定义,给出了IDEF0至MIFPN转换的规则方法.在此基础上实现对多功能开放型企业供需网系统的功能分析与设计.     

基于Petri网的时间约束问题

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

用Petri网模拟Turing机

本文从信息变换的角度来阐明“如何用Petri网模拟Turing机”。由于Turing机的带子是潜在无穷长的,因而所用的Petri网的p结点集和t结点集也不可能是有限的,该Petri网将是无限的ZP网[1](具禁止弧的Petri网)。     

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

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

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

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

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

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

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

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

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

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

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

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

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

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

自动机Petri网逐层加细法应用于多微处理机系统的设计

本文提出设计多微处理机系统的一种有条理的统一的方法,它基于—Petri网(所谓“自动机”联成的Petri网)逐层加细这一思想。待设计的计算系统所要完成的算法先策略地勾画成最高一级的—Petri网,而后,类似于结构程序设计那样,自顶向下,从最高一级—Petri网这一模型逐步成层次地在解释上加细—Petri网的各结点(p结点解释以数据结构,t结点解释以运算),最终达到用具体的自动机描述各t结点的功能(它们对输入p结点进行处理,将结果传递给输出p结点)。据此,可着手以互连的微处理机群(必要时,补充以随机逻辑)实现出来。作为例子,文中还提出在通用意义上的多微处理机系统,它实现所谓的扩充von Neumann总体结构,其中用并行计算的一图程序类(它实质上又是一类Petri网)代替了通常的串行计算程序。以M6800微计算机族为基础,阐明如何用本文提出的设计方法来实现扩充von Neumann总体结构。     

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

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

电子商务系统主体行为的描述与分析

电子商务系统的主体行为对整个交易的安全非常重要。本文应用标注Petri网模拟技术,建立了电子商务系统中主体行为模型,解决了主体的责任分析、证据收集等与安全性有关的问题。     

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

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

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

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