可达图相关论文
为解决逻辑Petri网不能很好地描述动态博弈过程的问题，提出逻辑博弈概率Petri网。首先，将博弈的四要素融合到逻辑Petri网中，博弈的局......
多机器人协作系统是一个具有多个机器人和多个共享资源的复杂离散事件动态系统,而多机器人任务调度则旨在调度机器人利用系统中可......
资源分配系统是指存在资源分配和资源竞争的动态系统。在生产生活中十分常见,如自动制造系统,智能交通系统,分布式数据库系统等。......
移动操作机器人兼顾移动性与操作性,既具有移动机器人的建图、导航等功能,又能使用机械臂完成抓取等任务,是当前机器人领域研究的......
离散事件系统(Discrete Event System,DESs)可描述工业实践中诸多现象和流程,它是以事件为驱动的动态系统。在系统设计时可设定约......
自动制造系统是一种完全无人或人工干预较少的生产过程。系统极易因资源分配不合理导致死锁。在某些情况下,死锁会造成重大经济损......
脑机接口(Brain-Computer Interface,BCI)是一种新的人机交互方式,能够不借助语言和肢体动作直接通过大脑控制外部设备。脑控机器......
随着互联网科技的突飞猛进,计算机软件已被应用到现实生活中的许多领域,软件的功能更加多样也更加复杂。在这种背景下,提出了基于......
自控网系统是Petri网系统的一个子类，与P／T系统以及基本网系统相比较，具有更强的描述能力和建模能力。文章以自控网系统为基础，定义了......
仿真组件模型接口设计建模与仿真周期中详细设计阶段的一个重要内容,是继仿真需求分析和概念建模之后的针对系统行为交互的设计过......
Petri网具有坚实的理论基础和易于使用的图形表示，是一种理想的建模和分析工具，因此在工作流的建模和分析方面具有广泛的应用。本文......
为了解决复杂间歇式化工系统的优化调度和控制问题,提出了一种基于Petri网的优化调度与控制方法：首先,根据加工工艺,建立加工过程的......
时间控制和管理是工作流研究中的重要问题,针对一类含时间因素的工作流,给出了Petri网建模方法,分析了含时间因素工作流Petri网的......
从扩展事件驱动过程链（EEPC）和传统Petri网入手,结合二者的特点,提出新的仿真模型——基于EEPC的扩展Petri模型。该仿真模型既能体现......
文章以结构化的作业网络（JNW）为模型，在描述作业控制流中的基本路由结构：顺序、循环、选择和并行的基础上，将Petri网引入到JNW的建模中，......
研究信息/求解扩展Petri网系统（I/S系统）可达图的生成问题及基于可达图的活性分析问题.给出了I/S系统与活性相关的几个定义,提出了I/......
针对嵌入式实时软件需求规约及其检测问题,提出了基于层次并发有穷状态机的可合成的图形化建模语言RTRSM*(real-time requirements......
供应链的性能评价是供应链管理的重要问题。该文通过构建供应链中合作的两个企业的Petri模型，运用可达图分析方法对其合作后的资源......
关注商品消费安全是经济活动的迅猛发展的必然要求.在综合分析现有工作流建模技术的基础上,引入YAWL这一新技术,结合商品安全消费......
针对基于Petri网的Web服务组合形式化建模,给出了Web服务网的正确性定义和可达图的构造算法。采用可达图作为分析工具,对Web服务网......
应用Petri网原理分析IPv4-IPv6协议转换,并结合实际的系统和详细转换流程图,建立Petri网模型。通过此Petri网模型的有界性、可达性......
对数字家庭无线射频通信协议进行分解,给出协议各部分的流程。构造基于Petri网的通信协议模型,并在模型的基础上运用可达图方法分......
预警卫星系统在弹道导弹防御系统中处在最前沿，在战争中起着其他装备无法替代的作用。依据DoDAF和预警卫星系统的作战流程，构建了预......
在非线性流水线的调度中须找出一种合适的时间间隔,避免流水线各功能段的使用冲突并使流水线有较高的吞吐率和效率,为此提出一种基......
为了使工作流模型更简洁,在工作流网WFPN的定义的基础上,给出了利用可达性分析技术对WFPN进行合理性分析的有效方法,提出了一种通......
为了满足工作流模型在建模能力上的要求,提出一种添加复位弧对工作流网进行扩展的方法,并给出该方法的形式化表示方法。通过一个保......
维修拆卸序列规划是整个维修性设计的重要内容。为了能够以较高的效率求解出产品中零件的拆卸方案，依据产品的基本信息和零件之间的......
针对主题特征不明显的搜索结果聚类的问题,提出了基于OPTICS(Ordering Points To Identify theClustering Structure)可达图的自动......
为了将着色时间Petri网的并行式工作流模型应用于产品数据管理系统,在工作流建模阶段对工作流的静态和动态结构性能加以分析·采用......
为提高过程挖掘中计算最优对齐的效率,提出一种基于Petri网可达图的业务对齐方法。首先,根据给定事件日志,提取其包含的活动子集;......
为了提高煤矿井下机车调度效率、防止机车碰撞、堵塞,根据井下调度特点建立机车运行赋时Petri网模型。针对原有启发式A*搜索算法存......
针对脑机接口(BCI)中的共享控制问题,提出一种BCI系统的Petri网建模方法.首先,将共享控制策略与BCI系统的内外部信息相结合,构建运......
随着工业4.0时代的到来,制造业将迎来智能工厂和智能生产两大重要命题。迅速的响应客户定制需求,在有效时间内生产出高质量和个性......
对于Petri网,与基于可达图的状态空间搜索方法相比,基于展开的状态空间搜索方法不需要考虑并发事件间的所有可能交织,可避免状态空......
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清......
为了实现住院医师培训系统协调并发运行、工作流程顺畅无误运转,提出一种基于着色高级Petri网与跨组织Petri网技术相结合的综合建......
依据DoDAF和预警卫星系统的作战流程,构建了预警卫星系统作战事件跟踪(OV-6c)模型和作战状态转换(OV-6b)模型,以描述预警卫星系统......
柔性制造系统(FMS)的设计、实现过程是相当复杂的，它具有耗资大、风险大、技术密集的特点，所以需要在系统投入实施和运行之前，找到一......
为简化事故树分析过程中最小割集求解算法的步骤,在构建事故树Petri网模型的基础上,探讨了事故树Petri网模型的性质,给出了事故树......
提出了一种层次Petri网建立多媒体自动售货机销售系统模型。首先给出了层次Petri网在该系统中的形式化定义及描述,运用分层设计、......
OSPF协议是内部网关协议,为了更好的支持基于IPv6下一代互联网的发展,OSPFv3协议在不断的更新。为了保证OSPFv3协议实现按照协议描......
Petri网是一种系统设计和分析的工具,为了完成Petri网的各项分析,还需要借助如可达树、可达图等工具。讨论了Petri网可达树与可达......
自动制造系统(Automatic Manufacturing System,AMS)是一种人为干预较少甚至完全无人干预的制造过程。系统因资源的分配不当极易产......
学位
