首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 96 毫秒
1.
赵樱  谭锦豪  李国强 《软件学报》2022,33(8):2782-2796
异步通讯程序是进程间通过异步消息通讯实现非阻塞并发的程序. 当前异步通讯程序的程序验证问题通常将其归约至向量加法系统及其扩展模型,因而复杂度很高,并缺乏高效工具. 基本并行进程作为向量加法系统的一个子类,其可达性的验证问题为NP完备.首先,本文改进了Osualdo等提出的为异步通讯程序建模的Actor通讯系统, 将其归约至基本并行进程. 然后,实现了基本并行进程的模型检测工具RABLE,实验结果表明,验证方法在异步通讯程序的一系列程序验证问题上具有比已有工具更高效的结果.  相似文献   

2.
Petri网能有效地分析通讯协议 ,然而目前的相关文章大多侧重于理论分析。本文结合实际的工程背景 ,用MSComm串行通讯控件和其它的ActiveX控件实现了Petri网协议模型 ,并提出了二者映射的一般规则。用映射规则开发的通讯程序在应用中取得了较好的效果  相似文献   

3.
Petri网能有效地分析通讯协议,然而目前的相关文章大多侧重于理论分析。本文结合实际的工程背景,用MSComm串行通讯控件和其它的ActiveX控件实现了Petri网协议模型,并提出了二者映射的一般规则。用映射规则开发的通讯程序在应用中取得了较好的效果。  相似文献   

4.
Petri网是研究并发、异步系统的有效模型,并巳逐步应用到资源分配、操作系统、分布式系统等领域。 本文首先综述了Petri网基本理论,包括Petri网基本概念和分析方法;然后利用Petri网模拟和分析通讯协议;最后,分析了一个具体的协议。  相似文献   

5.
应宏 《微型电脑应用》2005,21(9):11-12,25
介绍了Petri网的基本定义和对并发系统的描述.指出网格是完全异步并发的基础环境。分析了Web服务和网格资源是构造Petri网格的变化元素和状态元素,进而基于Web services标准和WSRF规范构造了Petri网格体系结构的层次模型,指出Petri网格应用就是构造Petri网模型实例。  相似文献   

6.
依据通讯类电子产品供应链的特征总结了系统运作过程中出现概率较高的六类风险因素。以供应链中某品牌运营商向供货商提出生产计划订单为核心驱动,借助于Petri网这一具有良好可实现性的动态系统建模工具建立了通讯类电子产品供应链的Petri网主体简化模型。通过灵活设定所建模型的Simulink仿真运行参数,模拟运行过程中多种状态变化,对通讯类电子产品供应链进行了风险预测,仿真分析结果可为后续决策策略的选择提供支撑依据。  相似文献   

7.
分布式系统中的并发进程具有明显的并发、异步及分布性,而Petri网是模拟与分析并发、异步、分布式系统的有效工具.为此通过引入Petri网,给出了分布式系统局部并发进程等待的Petri网模型及死锁检测方法,提出了全链路合成的概念,利用全链路合成技术组装了全局并发进程等待的Petri网模型,给出了判断整个系统是否出现死锁的充分必要条件.  相似文献   

8.
Petri网是计算机异步成分之间进行通信的理论基础.Petri网的应用涉及计算机学科的各个领域.文中运用Petri网工具来对工作流技术进行了详细的分析与描述,并用一个例子来说明如何使用Petri网来描述工作流的各种同步关系以及流向,最后,文章还给出了一个由功能模型、数据/信息模型、组织模型、资源模型组成的工作流复合模型.  相似文献   

9.
基于Petri网的哲学分析   总被引:3,自引:1,他引:2  
Petri网以其优秀的描述异步并发的能力以及简单、清晰的图形表示方法获得了长足的发展.Petri网技术和其它技术的完美结合使其在应用领域发挥作用.从哲学高度分析了Petri网获得成功的思想渊源.通过诠释Petri网思想与哲学思想的诸多相通之处,提出了一种以哲学观点认识和理解Petri网的新思想.Petri网理论的晦涩性在很大程度上限制了其更好发展.鉴于此,笔者在简化Petri网理论方面做了许多尝试,以期促进Petri网的流行与发展.  相似文献   

10.
基于Agent的对象有色Petri Net及其在制造单元建模中的应用   总被引:2,自引:0,他引:2  
王伟  苑伟政  张磊 《计算机应用》2003,23(8):109-113
在对象有色Petri网的基础上,引入知识库、目标库和规划模块,提出一种基于Agent的对象有色Petri网模型。以一个制造单元为例,介绍了使用该模型用于Agent系统建模的方法,以及Agent之间异步消息通信机制。最后,通过分析了由基于Agent的对象有色Petri网简化得到的制造单元的普通Petri网模型,验证了模型具有的三级活性、并发、有效性三个特征。  相似文献   

11.
《Knowledge》2006,19(4):220-234
  相似文献   

12.
基于模糊神经Petri网的故障诊断模型   总被引:1,自引:0,他引:1  
Petri网是对具有产生式规则的故障诊断系统的有力建模工具,但其缺乏较强的学习能力.本文以Petri网的基本定义为基础,结合模糊逻辑和Petri网模型,定义了模糊Petri网模型,在此基础上引入人工神经网络技术,给出了人工神经网络的模糊Petri网表示方法,并针对工程机械故障诊断异步、离散等特点,提出并建立了故障诊断的模糊神经Petri网模型及其改进模型.基于模糊神经Petri网的故障诊断系统结合了Petri网和人工神经网络的优点,经过自学习后同时具有很强的推理能力和自适应能力.  相似文献   

13.
This paper presents the specification and implementation procedure using a microcomputer network based autonomous distributed control architecture for industrial multirobot systems. The procedure is based on the concept of data flow network controlled by communicating sequential processes to perform coordinated tasks. Robots and other computerized industrial devices such as conveyors and manufacturing machines are defined as object-oriented Petri nets. A modular and hierarchical approach is adopted to define a set of Petri net type diagrams which represent concurrent activities of control processes for such devices. Asynchronous and synchronous interactions are modelled by places and transitions, respectively, in global process interaction nets. The control software is implemented on a computer network using Inmos transputers with true parallel processing and message passing primitives efficiently handled in hardware. Petri net based models are directly and efficiently transformed to corresponding codes in occam, the high level parallel programming language defined for the transputer.  相似文献   

14.
为了简化仿真系统的实现过程,分析总结了Petri网到程序代码的映射准则,从Petri网的基本元素和关系入手,根据逻辑关系建立映射的三类原子语句,并通过两种合成方式形成分子语句。以原型Petri网为例,遍历可达标识图的各种分支路径,提出循环路径到循环结构语句的代码映射方法。最后给出了带抑制弧的扩展Petri网和受控Petri网的代码映射方案,为Petri网向程序代码的转换提供了理论依据。  相似文献   

15.
In this paper we introduce a framework to represent robot task plans based on Petri nets. Our approach enables modelling a robot task, analysing its qualitative and quantitative properties and using the Petri net representation for actual plan execution. The overall model is obtained from the composition of simple models, leading to a modular approach. Analysis is applied to a closed loop between the robot controller and the environment Petri net models. We focus here on the quantitative properties, captured by stochastic Petri net models. Furthermore, we introduce a method to identify the environment and action layer parameters of the stochastic Petri net models from real data, improving the significance of the model. The framework building blocks and a single-robot task model are detailed. Results of a case study with simulated soccer robots show the ability of the framework to provide a systematic modelling tool, and of determining, through well-known analysis methods for stochastic Petri nets, relevant properties of the task plan applied to a particular environment.  相似文献   

16.
A Survey of Petri Net Methods for Controlled Discrete Event Systems   总被引:14,自引:2,他引:14  
This paper surveys recent research on the application of Petri net models to the analysis and synthesis of controllers for discrete event systems. Petri nets have been used extensively in applications such as automated manufacturing, and there exists a large body of tools for qualitative and quantitative analysis of Petri nets. The goal of Petri net research in discrete event systems is to exploit the structural properties of Petri net models in computationally efficient algorithms for computing controls. We present an overview of the various models and problems formulated in the literature focusing on two particular models, the controlled Petri nets and the labeled nets. We describe two basic approaches for controller synthesis, based on state feedback and event feedback. We also discuss two efficient techniques for the on-line computation of the control law, namely the linear integer programming approach which takes advantage of the linear structure of the Petri net state transition equation, and path-based algorithms which take advantage of the graphical structure of Petri net models. Extensions to timed models are briefly described. The paper concludes with a discussion of directions for future research.  相似文献   

17.
The basic operation of a digital neuron is reviewed, and the theory of time Petri nets used for modeling, representation, and analysis of the neuron-type processor (NTP) is reviewed. The timed Petri net is utilized to produce a model for the digital NTP. The neuron-type processor performs input temporal and spatial summation, as well as thresholding. The timed Petri net of the NTP operates asynchronously and sequentially takes on a series of distinct internal states, so that each of these states can concurrently realize a distinct set of steering switching functions depending on the pattern of steering inputs applied to it at the time. This model is structured using several subnets, called essential module units. Depending on the desired number of input dendrites required for the NTP, the essential module units (EMU) are interconnected to produce the required timed Petri net. The timed Petri net and representation facilitates a method of analysis of neural net works containing NTPs prior to hardware implementation.  相似文献   

18.
The paper describes a method for the optimization of systems represented by models based on Petri nets. For solving optimization problems, it is proposed to use a Petri net model implemented by an artificial neural network. The method is exemplified by its application to control an imitation of a Petri net.  相似文献   

19.
利用模块化设计的思想,首先为分布式数据库系统中各事务的每一种操作(读锁、写锁、解锁)构造一个基本的加权Petri网模型,并给出了加权Petri网共享合成的概念、然后利用共享合成技术,动态地构造各站点的加权Petri网模型,以适应系统的动态变化.此外,本文利用Petri网的化简技术,极大地简化了各站点的Petri网模型,之后利用同步合成技术构造出整个系统的Petri网模型,较好地解决了Petri网的可达性分析中可能出现的状态“爆炸”问题.最后给出了判断整个系统是否出现死锁的充分必要条件.  相似文献   

20.
基于Petri网的协议形式化分析方法由于其精炼、简洁和无二义性逐步成为分析协议的一条可靠和准确的途径,但是协议的形式化分析目前研究还不够深入,协议分析的两个重点内容正确性验证和性能评估所需要的模型不同,一种模型只能解决一方面的工作。为了有效地解决这一问题,文中提出了一种用原型Petri网作为协议验证模型的思路和方法,在不改变原型Petri网结构的基础上对变迁赋予发生时延,解决了协议的性能评估问题。本文还给出了协议验证内容与Petri网分析方法的对应关系,并对0-1停止等待协议进行了详细的分析,最后把0-1停止等待协议的原型Petri网模型转化为时延Petri网,对协议的性能进行了评估。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号