可达图相关论文
为解决逻辑Petri网不能很好地描述动态博弈过程的问题，提出逻辑博弈概率Petri网。首先，将博弈的四要素融合到逻辑Petri网中，博弈的局......
多机器人协作系统是一个具有多个机器人和多个共享资源的复杂离散事件动态系统,而多机器人任务调度则旨在调度机器人利用系统中可......
资源分配系统是指存在资源分配和资源竞争的动态系统。在生产生活中十分常见,如自动制造系统,智能交通系统,分布式数据库系统等。......
发挥逻辑Petri网对批处理和传值不确定性的建模优势,融合多主体博弈过程的相关博弈要素,为多主体决策问题建模,解决多主体动态博弈......
期刊
移动操作机器人兼顾移动性与操作性,既具有移动机器人的建图、导航等功能,又能使用机械臂完成抓取等任务,是当前机器人领域研究的......
基于模型的安全性分析方法能够提高复杂安全关键系统的建模与分析能力.目前故障树被广泛应用于系统安全及可靠性分析中.故障树分析......
研究选项对互操作的影响。首先对可选项的作用阶段建立着色Petri网模型并生成部分模型的可达图；然后基于所得可达图采用数据选择的......
燕尾拉刀是用来制造T20矿用汽车活塞的,是一种形状复杂的异形拉刀(如图1所示),材料为W18Cr4V,要求刃部硬度HRC63～66,热处理后振摆......
我厂自制了一种球头销研磨装置,结构简单,制造容易,操怍简便,效果良好。仅在小型普通台钻上配上本装置即可加工,一个人可同时操作......
该文针对嵌入式实时软件系统的需求规约和验证问题,提出了系统建模语言RTRSM,并以该语言为基础,展开全文,包括模型性质描述语言RIT......
数字家庭是最新的研究领域,其中家庭网络起着至关重要的作用。它使得各种家庭设备互联互通,并且无论何时何地都能被访问,从而让生......
为解决逻辑Petri网不能详尽地描述模型在规定时间点变迁引发和引发完成的时间问题,提出逻辑时延Petri网。首先在普通变迁的基础上......
期刊
针对自动制造系统(Automated Manufacturing Systems,AMSs)的死锁问题,人们提出了许多基于Petri网的控制策略。这些策略往往假定AM......
自动制造系统是一种完全无人或人工干预较少的生产过程。系统极易因资源分配不合理导致死锁。在某些情况下,死锁会造成重大经济损......
脑机接口(Brain-Computer Interface,BCI)是一种新的人机交互方式,能够不借助语言和肢体动作直接通过大脑控制外部设备。脑控机器......
随着互联网科技的突飞猛进,计算机软件已被应用到现实生活中的许多领域,软件的功能更加多样也更加复杂。在这种背景下,提出了基于......
本文介绍了用Petri网描述协议的方法,给出了ISO传输层第三类协议的Petri网说明,并且利用可达树、可达图等分析工具对所给Petri网进......
给出了计算机网络的ＳＮＡ窗式控制的广义随机Ｐｅｔｒｉ网模型以及可达图，从而可描述分析ＳＮＡ的窗式控制机理，并进一步介绍了极限情况下窗式控制机理的分......
本文将随机Ｐｅｔｒｉ网与排队论相结合，对分组交换网中的窗式流量控制机理进行了描述与分析，建立了窗式流量控制机理的随机Ｐｅｔｒｉ网模型，并给出了随机......
Petri网已经被成功地用来描述、验证及评价网络通信协议。本文阐述了扩充Petri网在研究CSMA/CD协议方面的应用。扩充是在两个方面......
本文对ISO协议的传输层通讯规程在文献[1]验证的基础上,使用Petri网工具予以佐证。
In this paper, the protocol of transport l......
为了增强传统Petri网的建模能力,将随机时间与库所关联,提出了SPPN(Stochastic Places Petri Net-随机库所Petri网),并基于SPPN分......
微处理器及其软件已在我国多种新型引信中开始应用,而对其软件可靠性和安全性的研究刚刚起步.本文介绍了基于Petri网的引信软件安......
Petri网是表示优先级约束和计算装配序列的有效工具。将Petri网和启发式搜索相结合,给出了一种新的装配序列规划方法。该方法用Pet......
鉴于现有的蚁群算法用于维修拆卸序列规划时易受到初始序列的影响而陷入局部最优解的问题,本文根据维修拆卸的特点,基于DCPN模型构......
该文是PETRI网在油站系统的设计,分析中的具体应用.介绍了用PETRI网描述系统的方法.给出了油站系统的几个关键功能模块的PETRI网说......
Petri网是一种数学和图形工具,适宜于模拟和分析离散事件系统.自Petri先生开创性的工作之后,网论得到了长足进展,至今已形成了相当......
Ｐｅｔｒｉ网是一种系统设计和分析的工具，为了完成Ｐｅｔｒｉ网的各项分析，还需借助如可达树，矩阵方程，可达图等工具。本文将提出可达图的一种构造方法。......
自控网系统是Petri网系统的一个子类，与P／T系统以及基本网系统相比较，具有更强的描述能力和建模能力。文章以自控网系统为基础，定义了......
仿真组件模型接口设计建模与仿真周期中详细设计阶段的一个重要内容,是继仿真需求分析和概念建模之后的针对系统行为交互的设计过......
采用随机Petri网针对制造系统中一随机加工单元的故障现象的产生、变化情况建立可靠性分析模型，通过分析其可达标识集，得出制造系统......
Petri网具有坚实的理论基础和易于使用的图形表示，是一种理想的建模和分析工具，因此在工作流的建模和分析方面具有广泛的应用。本文......
为了解决复杂间歇式化工系统的优化调度和控制问题,提出了一种基于Petri网的优化调度与控制方法：首先,根据加工工艺,建立加工过程的......
<正> 随着Petri网在平行计算、通讯系统、计算机集成制造系统等领域的广泛应用,在以Petri网为实际系统建立模型之后,人们很关心模......
时间控制和管理是工作流研究中的重要问题,针对一类含时间因素的工作流,给出了Petri网建模方法,分析了含时间因素工作流Petri网的......
从扩展事件驱动过程链（EEPC）和传统Petri网入手,结合二者的特点,提出新的仿真模型——基于EEPC的扩展Petri模型。该仿真模型既能体现......
Ｐｅｔｒｉ网的可达图和可达树都是用于分析Ｐｅｔｒｉ网的工具，文章将展示如何用可产完成Ｐｅｔｒｉ风的各项分析，并将可达图与可达树相比较，证明可达图是较可达树更......
文章以结构化的作业网络（JNW）为模型，在描述作业控制流中的基本路由结构：顺序、循环、选择和并行的基础上，将Petri网引入到JNW的建模中，......
研究信息/求解扩展Petri网系统（I/S系统）可达图的生成问题及基于可达图的活性分析问题.给出了I/S系统与活性相关的几个定义,提出了I/......
本文给出了有界Petri网的可达标识图到网图的转换算法,对算法的正确性与复杂性分别进行了证明和估计,结果表明该算法是一个多项式......
针对嵌入式实时软件需求规约及其检测问题,提出了基于层次并发有穷状态机的可合成的图形化建模语言RTRSM*(real-time requirements......
供应链的性能评价是供应链管理的重要问题。该文通过构建供应链中合作的两个企业的Petri模型，运用可达图分析方法对其合作后的资源......
关注商品消费安全是经济活动的迅猛发展的必然要求.在综合分析现有工作流建模技术的基础上,引入YAWL这一新技术,结合商品安全消费......
Petri网是一种对并发系统进行描述和建模的重要数学工具,可达图是Petri网模型的主要分析方法。为了解决由于系统参数化造成的Petri......
针对基于Petri网的Web服务组合形式化建模,给出了Web服务网的正确性定义和可达图的构造算法。采用可达图作为分析工具,对Web服务网......
