首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到19条相似文献,搜索用时 93 毫秒
1.
智能控制具有递阶结构,按照精度提高智能降低的原理依次为组织级、协调级和执行级。本文提出用Petri网对智能控制递阶结构中组织级的任务规划和协调级进行建模,并提出用Petri网进行任务分解的方法。本研究对于智能控制的知识表示方法研究有一定的参考意义,并对于机器人系统设计与分析具有重要的理论与应用价值。  相似文献   

2.
在简要地论述了半形式化面向对象的开发方法的基本思想之后,着重就这类方法中模型形式化这一关键问题进行了研究。探讨了基于着色Petri网的面向对象模型的形式化技术,给出了面向对象方法中一些基本概念的形式描述,旨在完整地形成一种基于Petri网的半形式化面向对象的开发方法.  相似文献   

3.
基于集控Petri网方法的面向对象建模和仿真工具   总被引:4,自引:0,他引:4  
传统的Petri网方法不能解决实际系统运行中出现的不确定性,资源共享等问题。该文定义了一种扩展有色Petri网——集控Petri网方法。它通过引入过程变迁,不确定性弧,全局库所和赋予每个托肯一个数据结构增加了Petri网的建模能力。重点讨论了使用面向对象方法设计和开发的基于集控Petri网方法的建模和仿真工具。给出系统的面向对象的类层次结构、核心数据结构和用户界面为了便于和其它建模和仿真工具进行有效的集成,所设计的软件采用了中性文件的机制来保存模型结构和数据。  相似文献   

4.
引进了面向对象着色Petri网的概念,提出将其应用于面向对象的软件开发方法的过程中。  相似文献   

5.
面向对象扩展着色Petri网在装配系统中的应用   总被引:2,自引:0,他引:2  
根据面向对象思想,提出了面向对象扩展着色Petri网模型。该模型一方面,具有通用性,可重用性和易扩生;另一方面,具有简单性,直观性。很好地解决了传统的Petri网所面临的问题。  相似文献   

6.
带决策的扩展Petri网及其在FMS中的应用   总被引:1,自引:0,他引:1  
基于Petri网基本原理,对原有赋时Ptri网和着色Petri网加以扩充,提出一种新型的决策的扩展Petri网(DEPN)方法,并对DEPN模型的建模和应用等问题进行了探讨,文末针对一个实际的FMS系统阐述了运用DEPN模型进行建模和展开研究的及过程,难了方法有效性。  相似文献   

7.
为增强Petri网技术和O-O技术相结合而形成的OOPN的描述能力,提出了一种基于消息驱动机制的新型OOPN——MOPN的定义及其特性,它用面向对象方法为系统建立起整体框架,用有色Petri网具体实现各个对象,并加入消息驱动机制以在对象间传递消息,能较好地将O-O技术和Petri网的优点结合起来.用离散事件系统的典型实例——FMS的建模来说明其在离散事件系统建模、分析中的应用  相似文献   

8.
面向对象的Petri网方法及其在甲骨文编码中的应用   总被引:5,自引:0,他引:5  
介绍了面向对象的Petri网方法,给出了OOPN的基本定义,图形和语言表示;并运用面向对象Petri网方法研究甲骨文象形码的编码原理,将每个甲骨文字做为一个对象实例,运用面向对象Petri网方法,对甲文字根对象进行聚类,形成凶,从而得到每个甲骨文字的编码。  相似文献   

9.
介绍了TMN(电信管理网)可信性建模的一种新的方法———Petri网。首先简要介绍了Petri网的基本概念和Petri网的特性分析,然后描述了用Petri网进行建模的一般方法并举例说明了它在TMN可信性建模中的应用。最后还介绍了一种自动生成可信性Petri网模型的方法。  相似文献   

10.
基于Petri网的建模支持   总被引:5,自引:1,他引:5  
把Petri网应用于基于图形的模型管理和建模支持,为此对Petri网作适当的扩展以适应模型管理,并提出了数学模型的Petri网表示方法。研究了Petri网表示的模型的循环和连通问题,并给出了模型求解过程和模型生成的算法。  相似文献   

11.
面向对象Petri网的离散事件系统仿真建模   总被引:7,自引:0,他引:7  
将Petri网技术和O-O技术结相合,利用消息驱动机制反增强其描述能力而形成对象Petri网(OOPN),它用面向对象的方法建立系统整体框架,用有色Petri网描述对象,对消息驱动机制对象间传递消息,能较好地将0-O技术和Petri网结合起来,以实现仿真建模。  相似文献   

12.
Petri网图形建模仿真系统的研究与开发   总被引:5,自引:0,他引:5  
将面向对象思想引入Petri网建模、仿真系统的研究和开发,设计了基于图形界面的普通Petri网建模仿真工具软件,构造了相关的普通Petri网核心类,给出了普通Petri网点火机制的计算机实现方法,通过可视化开发工具Delphi实现了该建模仿真工具,通过该工具,可以以人机交互的方式建立、编辑、分析、仿真普通Petri网模型  相似文献   

13.
基于扩展着色赋时Petri网的板材FMS建模及分析   总被引:1,自引:0,他引:1  
提出带有决策库所的扩展着色赋时Petri网(ECTPN)建模方法。建立了板材FMS的ECTPN模型,通过ECTPN模型对板材FMS运行中的潜在冲突作出分析。结合调度规则,ECTPN模型能准确刻画板材FMS的运行过程,为进一步分析和评价系统创造了条件。  相似文献   

14.
门鹏 《科学技术与工程》2013,13(5):1362-1367
为了提高着色Petri网的描述及验证能力,提出了一种基于投影命题时序逻辑的着色Petri网的模型检测方法。通过构建投影命题时序逻辑公式的否定形式等价的Buchi自动机,将它与着色Petri网的可达图相积,通过检测检测乘积图的可接受语言是否为空,从而判断用时序逻辑公式描述的系统性质是否满足。利用投影命题时序逻辑公式具有更强的表达力,可以有效地提高着色Petri网系统的描述及验证能力。  相似文献   

15.
基于映射方法的柔性制造系统建模及仿真程序设计   总被引:1,自引:0,他引:1  
介绍了基于映射思想的柔性制造系统(FMS)的着色Petri网建模及仿真程序的设计方法.根据FMS硬件系统的组成,将FMS硬件单元分为五大设备类;各类信息及信息传递分别映射为相应的Petri网的库所、变迁状态;包含不同信息类型的库所、变迁映射为仿真程序的数据成员及成员函数.采用这种映射机制对FMS系统的建模容易理解、易于实现,且能使仿真程序的编制更加方便.该方法使得对复杂的柔性制造系统的分析和设计变得更加清晰、直观.  相似文献   

16.
应用有色柏特利网对计算机测控系统的通讯部分进行了CPN建模、分析和仿真.对系统通信过程中并发的实现、冲突的分析以及冲突的避免进行了讨论.  相似文献   

17.
基于随机Petri网的容灾系统安全性分析   总被引:2,自引:0,他引:2  
该文采用基于状态的随机模型对容灾系统进行安全性分析。通过构建一个通用的远程容灾系统模型,使用随机回报网SRN描述了整个系统模型的备份与恢复过程,包括SRN模型中的各个位置、变迁的含义,对该系统模型进行建模。使用随机Petri网软件包SPNP对所建立模型进行仿真,通过对不同概率参数的设定得出系统可用性的量化值。仿真实验结果表明:不同的参数变化对系统可用性的影响不同,在本地备份中失效检测对于系统可用性的影响最大,远程备份中的失效检测对于系统可用性的影响最小。  相似文献   

18.
面向对象技术已成为当今软件开发的一种主流方法,它已从软件编程、软件设计扩展到需求分析、建立系统模型的阶段。本文以“餐饮自动化系统”中的“顾客点菜子系统”为例,介绍运用面向对象技术建立系统模型的方法。  相似文献   

19.
在流程建模中,UML技术和Petri网技术各自发挥着十分重要的作用.分析了UML技术和Petri网技术各自的优缺点及在流程建模中的应用,提出了一种基于UML技术和Petri网技术相结合建立系统流程模型的方法,并给出了相应的技术路线.在此基础上,以兵团空间信息系统服务获取流程建模为例,对所提出的方法和技术路线进行了验证.  相似文献   

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

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