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

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

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

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

并行异步过程多微处理机—控制器设计方法论的探讨

本文探讨:用来控制并行异步而无干扰的诸过程(其中可以有微计算机)的那种控制结构被实现成多微处理机—控制器时可依循的设计原理和方法。为了适应多微处理机的应用,本文用多种语义给予表示并行系统的 Petri 网模型以半解释,其中 p 结点可被解释成带引燃号的定长向量,t 结点可被解释成(内部)过程。称这样半解释的 Petri 网为 MP 网。MP 网可用来描述并行系统的微控制、宏控制、或微宏混合控制。利用多微处理机来实现 MP 网,此多微处理机—控制器用来控制并行异步的过程,它们并行地异步地进行工作而无干扰。文中提出根据MP 网设计多微处理机—控制器的一般原理和方法的基本思想。分解 MP 网成各子MP 网,这些子 MP 网分别以微处理机实现之,而它们所共享的那些 p 结点实现成为它们相互间通讯用的邮箱。所有这些微处理机通过邮箱联系起来,组织成所要设计的多微处理机—挖制器。以微计算机族 M6800为例来阐明本文提出的方法论基本思想。本文未臻形式化阶段,基本上以直觉的形式叙述基本思想,而未完全论证,还不是完备的方法论,仅供讨论。     

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

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

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

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

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

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

基于Petri网的时间约束问题

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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