时间PETRI网相关论文
随着互联网和云计算的不断发展,过程挖掘技术在信息系统中扮演着重要角色。现有过程模型挖掘方法多数针对由瞬时完成的点事件构成......
机器人对于人类生活和工作的革新有很大帮助,多机器人系统更是未来机器人的发展方向,对于制造业、加工业、危险环境和未知环境等都......
Petri网作为一种图形化数学建模工具,被广泛应用于自动制造系统的理论分析中。自动制造系统中因资源竞争而引起的死锁问题可能会导......
随着计算、通信和传感器技术的快速发展,大量的复杂动态系统比如自动制造系统,智能交通系统和物流系统等应运而生,它们都具有混合......
为了提高不确定性离散事件动态系统的运行性能,本文结合时间Petri网及模糊集理论,建立了新型的高级模糊Petri网模型,并给出系统运......
在众多计算机应用领域中，铁路车站联锁系统不仅是实时系统，而且还是安全—关键系统。这种系统和航天、核工业、军事等应用系统具有一......
随着建模仿真技术在各行各业中得到广泛的应用，Petri网作为一种图形化的建模语言也受到越来越多的重视。时间Petri网概念的提出为离......
多媒体同步主要是解决多媒体对象流内同步和流间同步问题的.已提出的多媒体同步模型大都是把多媒体的各个组成部分表示为库所,把各......
协议是计算机网络的命脉，协议复杂性的提高导致协议工程学科的出现。协议工程的主要活动包括协议描述、验证、性能分析、自动实现和......
Petri网是描述和分析并行与分布系统的有力工具,为扩展Petri网的建模与分析能力,使之能够处理时间相关的问题,人们将时间约束引入P......
Workflow technology is the key technology that assists enterprise business process realizing the modeling, simulation, a......
几十年来,人们逐渐地认识到软件过程对于软件产品质量的决定作用。越来越多的科研人员在这个领域作了大量的研究并且取得了重大的......
随着人们对软件系统的要求不断地提高，形式化技术得到了充分的发展。过去人们依赖于优秀的软件工程师来对软件系统可靠性和安全性提......
分布式协同工作环境是允许群体成员共享和交换信息，体现分布、交互、并发、协同系统工程思想，通过相互合作来完成一项任务的计算机系......
工作流建模是当前工作流研究领域的热点问题之一。研究更具柔性和适应性的工作流建模方法,并探索模型对实际工作流系统开发的指导......
并行测试技术是ATS (Auto Test System)在进一步降低测试的时间、削减测试的成本的趋势下新兴的一项技术，它正以不可比拟的优势成为......
并行测试主要目的就是提高测试系统运行效率,多个测试任务同时运行,降低设备闲置时间,系统资源得以有效利用。并行测试中的任务调......
随着互联网科技的突飞猛进,计算机软件已被应用到现实生活中的许多领域,软件的功能更加多样也更加复杂。在这种背景下,提出了基于......
随着信息技术的飞速发展,计算机和网络技术的应用领域越来越广泛,企业的业务过程也随之变得更加复杂。工作流技术能够整合企业的复......
选矿厂厂址选择是一个复杂的系统工程，其直接关系到选矿厂在建造、运营期间的经济效益、社会效益等诸多方面。厂址选择一直以来是研......
当前，院外心脏急救的成功率仅为2％左右，而心脏急救成功率高低与心脏急救流程的时间长短密切相关，如何缩短心脏急救流程的时间从而提高......
在复杂钢铁生产中，运用信息技术、现代管理技术和定性与定量相结合的方法来提高决策的科学化水平、提高产品产量和质量、缩短生产时......
针对点 -时段时序逻辑的不足 ,提出了一种新的时段时序逻辑——扩展时段时序逻辑 ,对不确定时间段发生的事件具有较好的描述能力 .......
本文在对同步信息进行分类和分析的基础上 ,分析了OCPN模型的局限性 ,提出了改进的多媒体同步模型ROCPN。通过在节点中引入媒体表......
讨论了供应链网络中如何选择优化路径的问题,提出采用时间Petri网对供应链网络的方法.此方法根据顾客需要货物的情况,有条件地选取......
在基于单片机的智能仪器的软件设计中采用了多线程技术,使多个任务并行执行.建立的多线程的智能仪器扩展时间Petri网模型,直观、形......
Petri网是一种图形化的建模方法,具有直观、易用的特点,是业务流程建模常用方法.面向对象方法将对象通过消息传递关系组成一个系统......
由于一架飞机一天要执行多个航班,使得航班之间存在前后衔接关系,因而一个航班的延误会波及到与之衔接的下游航班,造成航班延误链......
过程调度在间歇生产过程中起着非常重要的作用。针对过程调度的特点,我们建立了UIS中间存储策略下的间歇过程调度的混合整数规划(M......
近20年来,间歇过程用水网络的研究得到了人们的广泛关注,并取得了一定的发展.以往对间歇过程的水网络集成研究多采用图解法和数学......
针对传统分析方法的不足 ,提出了时间 Petri网的线性逻辑表示和时间推理方法 .基于线性逻辑 ,定义了时间 Petri网中变迁之间的各种......
组合导航定位系统是智能交通系统中的重要组成部分,它综合运用微电子技术、数字信号处理技术等,通过最优滤波和数据融合得到连续可......
UML被广泛应用于嵌入式实时系统等领域的建模,而嵌入式实时系统对时间响应的要求非常严格,UML缺乏对系统时间约束的描述和形式化语......
采用时间Petri网,针对有代表性的柔性装配单元的任务规划问题进行建模.计算了顺序和并行作业的时间消耗,并在此基础上提出了任务规......
该文在扩展时段时序逻辑的基础上提出了一种推理机制，这种推理机制基于时间Petri网模型及基本不等式规则，可由一组已知的扩展时段时......
加工时间不确定的柔性作业车间调度问题已逐渐成为生产调度研究的热点。采用区间表示加工时间范围,利用时间Petri网建立区间柔性作......
对于公文管理系统来说,采用工作流建模方法是优化系统的重要课题。在工作流中,时间因素是其中的重要内容,但以往的研究中,很少考虑......
时间Petri网在经典Petri网的基础上引入了时间因素，不仅能分析逻辑层次的系统性能，还能分析时间层次的系统性能，然而包含空间因素的信......
综合航电系统是一种对可靠性、实时性要求非常高的嵌入式应用系统；为了解决针对复杂应用场景下综合航电系统的处理时间和工作时序预......
软件演化已成为软件生存周期中最重要的形态之一。对基于Petri网、具有面向对象特征的软件过程模型SDDM进行改进,引入时间Petri网......
分拣系统中 ,由于操作人员的参与 ,可能导致被分拣货物和装箱清单不一致。这主要是由于上包控制和货包信息的同步跟踪不可控所造成......
多机器人协调操作是一直是机器人控制中一个比较复杂的问题,文章在深入分析、研究时间Petri网特性和多机器人协调操作控制规律的基......
本文用一种以出现网为基网的时间Petri网作为多媒体系统模型。这种模型便于描述和分析并行媒体流间的同步问题。文中提出了时间层......
针对时间Petri网现有强、弱语义模型在调度分析上存在的缺陷以及凝练调度一致性问题和调度时限性问题,提出混合语义模型解决方案,......
提出了一个扩展的时间Petri网——带抑制弧时间Petri网．该网中以抑制弧结合时延变迁来描述实时系统中的中断功能；运用所提出的带抑制......
