时间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网中变迁之间的各种......
