Petri网模型相关论文
矿山开采环境复杂,一旦发生事故,应急救援工作困难大,研究矿山事故应急救援流程有利于科学指导相关人员提高应急处置的效率。文中......
互联网经济的发展,全方面地渗透影响着人们的生活,越来越多的人选择网购方式来购买商品,2020年全国网上零售额为117601亿元,比上年......
A企业是一家国内综合性物流企业,主要经营的业务包括物流方案策划、跨境电商、冷链物流等。其中冷链物流是企业重要的一个业务板块......
复用已有高质量源代码可提高软件开发效率及软件质量.当前,基于用户提供的输入/输出对的匹配判断是代码语义搜索的主要方法之一,但......
具有多资源需求和柔性加工路径的顺序资源分配系统（Sequential Resource Allocation Systems with Multiple Resource Acquisitions......
针对现有数控弯管加工过程仿真系统中模胎、送料方式及弯曲工艺单一等问题,提出了一种数控弯管机多模复合加工过程仿真方法.该方法......
本文将Petri网理论与面向对象技术紧密结合,根据面向对象思想的特点对基本Petri网进行了扩展,引入了门、位置类型函数、多态迁移、......
IDEFO方法是一种欠结构化建模分析方法，简要介绍了其语法、语义及建模方法。还简要探讨了IDEFO模型到Petri网模型的转换规则，并给出......
随着全球经济一体化进程的不断加快,当前现代物流业的发展,物流公共信息平台的规划设计、建设实施等是其重要的核心内容。传统的软......
本文通过对A企业电子产品物流业务流程调研,发现流程中存在管控透明度不高,信息传递效率低、流程周期长等问题。针对存在的问题,本......
海事人员在水上交通应急处置的效能对于水上交通应急事故具有重要的意义.本文基于Petri网工作流模型,对水上应急处置进行流程化表......
该文在对兰州第二热电厂计算机网络管理信息系统局域网建设以及监测系统所涉及到的各种数据处理和现场要求进行了全面了解的基础上......
机器人足球是近年来在国际上迅速开展起来的一种高技术对抗活动.它借"足球"形式,通过各种国际大赛,不断推动机器人学、计算机视觉......
该文基于多智能体系统理论,研究了多智能体机器人系统的底层实时调度问题.该文首先研究了多智能体机器人系统结构模型,提出了多层......
自动化系统的发燕尾服对智能设备的互连提出了更高的要求.制造报文规范(MMS)就是国际标准组织(ISO)根据这种互连要求制定的一个标......
该文首先简单介绍了基于行为的多机器人系统的有关协调理论,具体包括对策论方法及其不同应用形式、马尔可夫决策过程MDP及其改进形......
需求分析在整个软件生命周期中是极其重要和基础的。随着软件系统规模的扩大,它直接关系到软件系统的成功与否。用例作为一种功能......
在软件测试基础上发展起来的协议测试是协议开发过程中的重要环节。协议测试中的协议一致性测试是最重要的协议测试。通过对协议实......
微电子技术和虚拟技术的不断进步,促进了虚拟仪器的广泛应用。虚拟仪器逐步成为仪器的发展方向。但是,与虚拟仪器的飞速发展相比,......
调度问题具有很长的研究历史,同时又分为好多类型,如流水车间、作业车间等。其中作业车间调度问题是一类满足任务配置和顺序约束要......
由于面向对象Petri网的应用越来越广泛,以及人机交互行为在软件开发过程和实际应用中的重要性,因此本论文通过分析面向对象Petri网......
近几年,为了缩短软件的开发周期和提高软件的开发质量,柔性的软件开发模式被提出。柔性软件开发模式能灵活和快速地响应用户需求的......
随着经济的发展社会生产技术的飞速进步,数据密集型企业处理生产数据时需要很大的计算量。使得数据处理在管理中得到更加广泛的应......
作为快速搭建企业级应用管理平台的重要手段，软件复用技术在全球信息化建设进程中扮演越来越重要的角色，是实现软件工业化、规模化、......
为了更有效优化半导体制造系统生产资源调度,提出了基于分层着色时间Petri网模型的分时段优化调度方案.通过增强基本Petri网的描述......
随着分布式电源(DG)的大量接入,微电网成为电网发展的必然趋势。微电网具有拓扑结构易变,多端电源供电等特点,因此导致微电网的故......
为了提高煤矿井下机车调度效率和实现井下调度系统自动化,基于Petri网理论知识结合实际井下矿场路况建立机车调度Petri网模型,然后......
随着工业化的加速发展、城镇化和消费结构的不断升级的加快,中国的能源需求持续增长。国内资源保障和环境容量的制约,加之全球能源......
受制于系统状态组合爆炸,并发系统的组合状态验证一直是困扰模型检验的难题.图形转换技术广泛应用于各类模型的组合、重构和动态演......
本文在讨论了M.Diaz等人的工作之后,给出了一个消息传输协议MTP的Petri网模型。利用Token Machine工具对该模型进行了分析,说明协......
为了实现故障的检测和故障定位,通过分析故障在Petri网模型中的表现特征,提出了故障检测的Petri网模型和故障进程,并给出了故障检......
本文采用基于SPetri网模型的方法形式化分析了无线传感器网络安全协议,指出了其中的中间人攻击缺陷,并对协议进行了改进,对协议的......
提出一种新的融合进程代数特征的Petri网模型—进程网.进程网既具有传统Petri网的图形化表示方式,又具有进程代数的语法形式.基于......
首先介绍了Petri网分析技术以及模型分类，然后讨论了Petri网在DEDS中的几种应用。最后以面向对象实时时态着色Petri网模型为例......
以信息化条件下战场环境和装备维修现状为基础，分析了装备战场维修能力和维修需求。利用Petri网建立了装备战场抢修决策过程的P......
为了提高航运供应链的运作效率，本文利用Petri网的分析方法对其进行分析。首先分析该供应链的构成，确定库所、变迁及其属性;其次建立......
层次Petri网将调度问题的Petri网模型被分解成为不同的层次，在不同的层次下可以有不同的行为表现。本文探索用Petri网理论解决消防......
如何将预警探测信息高效而可靠地传输,是雷达组网系统必须解决的一个重要问题。为了评估和优化雷达组网系统信息传输能力,本文建立......
提出了一种对ＦＭＳ（ＦｌｅｘｉｂｌｅＭａｎｕｆａｃｔｕｒｉｎｇＳｙｓｔｅｍ——柔性制造系统）实时控制进行建模的Ｐｅｔｒｉ网工具——实时控制Ｐｅｔｒｉ网模型．该模型是通过对变迁和位置引入第二属性，即输出控制命令......
将Petri网理论引入到神经网络模型的研究中，依据生物学神经系统的可塑性，通过适当扩展规范Petri网，建立了人工神经元状态转化的Petri......
本文研究了以受控Ｐｅｔｒｉ网为模型的一类离散事件系统的冲突控制问题，提出了一种综合冲突控制的方法．该方法首先把冲突问题转化为禁止状态问......
建立了GPIB高速数据传输协议的Petri网模型,用可达树方法分析了协议Petri网模型的动态性质,从而证明了协议的可靠性和合理性.......
供应链的发展是一个持续的过程,随着科技的进步和管理理念的更新,供应链开始向集成化方向发展,集成化对供应链整体效能的提高以及......
该文以企业动态联盟模型为核心内容开展研究.首先,就企业动态联盟建模的重要性及若干典型企业模型方法的特点,该文进行了综合性的......
液化天然气(Liquefied Natural Gas)简称LNG，是如今世界上增长速度最快的燃料。液化天然气作为一种安全、高效、清洁的能源，以其低污......
文章提出了一个桌面视频会议的会议管理系统模型，建立了其Ｐｅｔｒｉ网模型，并对它的冲突性和死锁性进行了初步分析。
This paper presents a ......
企业集团作为一个国家的社会经济、国民经济的重要经济支柱，其内部的管理和控制需要进一步提高。在企业集团生产经营管理过程不断细......
