时间Petri网相关论文
随着互联网和云计算的不断发展,过程挖掘技术在信息系统中扮演着重要角色。现有过程模型挖掘方法多数针对由瞬时完成的点事件构成......
机器人对于人类生活和工作的革新有很大帮助,多机器人系统更是未来机器人的发展方向,对于制造业、加工业、危险环境和未知环境等都......
Petri网作为一种图形化数学建模工具,被广泛应用于自动制造系统的理论分析中。自动制造系统中因资源竞争而引起的死锁问题可能会导......
随着计算、通信和传感器技术的快速发展,大量的复杂动态系统比如自动制造系统,智能交通系统和物流系统等应运而生,它们都具有混合......
为了提高不确定性离散事件动态系统的运行性能,本文结合时间Petri网及模糊集理论,建立了新型的高级模糊Petri网模型,并给出系统运......
分析了时间Petri网的激发规则、托肯可用时间和抑制弧等特性，以及制造过程中随机故障的特征。提出不同的时间关联方式对应的多种建......
UML是一种广泛使用的面向对象建模语言,但UML的一个不足之处是它缺乏精确的数学语义,因而不能对模型的性质进行严格的分析。本文提......
时间Petri 网在经典Petri 网的基础上引入了时间因素,不仅能分析逻辑层次的系统性能,还能分析时间层次的系统性能,然而包含空间因......
在众多计算机应用领域中，铁路车站联锁系统不仅是实时系统，而且还是安全—关键系统。这种系统和航天、核工业、军事等应用系统具有一......
针对工业现场通信存在协议及标准不统一和互操作性差的现状,就本课题组自行研制开发的多协议组态式现场通信控制装置(FCCD)及系统,......
随着建模仿真技术在各行各业中得到广泛的应用，Petri网作为一种图形化的建模语言也受到越来越多的重视。时间Petri网概念的提出为离......
Petri网是一种强大的可图形化的数学建模和分析工具，可用于研究异步、并发特征的离散事件系统，因而广泛应用于复杂系统的设计与分析......
多媒体同步主要是解决多媒体对象流内同步和流间同步问题的.已提出的多媒体同步模型大都是把多媒体的各个组成部分表示为库所,把各......
Petri网是一种用于描述系统的动态行为和分析系统的动态性质的数学模型，对描述和分析并发现象有其独到的优越之处，非常适合于异步并......
Petri网是描述和分析并行与分布系统的有力工具,为扩展Petri网的建模与分析能力,使之能够处理时间相关的问题,人们将时间约束引入P......
Workflow technology is the key technology that assists enterprise business process realizing the modeling, simulation, a......
几十年来,人们逐渐地认识到软件过程对于软件产品质量的决定作用。越来越多的科研人员在这个领域作了大量的研究并且取得了重大的......
Petri网是一种适合于描述异步并发现象的系统模型，但是在使用基本Petri网来为复杂系统建模时会出现“节点爆炸”问题，本文提出约束组......
分布式协同工作环境是允许群体成员共享和交换信息，体现分布、交互、并发、协同系统工程思想，通过相互合作来完成一项任务的计算机系......
工作流建模是当前工作流研究领域的热点问题之一。研究更具柔性和适应性的工作流建模方法,并探索模型对实际工作流系统开发的指导......
并行测试技术是ATS (Auto Test System)在进一步降低测试的时间、削减测试的成本的趋势下新兴的一项技术，它正以不可比拟的优势成为......
随着嵌入式计算、网络通信、海量数据处理等技术的高速发展，感控、计算和通信能力深度嵌入到物理设备中，从而产生了信息物理融合系统......
随着互联网科技的突飞猛进,计算机软件已被应用到现实生活中的许多领域,软件的功能更加多样也更加复杂。在这种背景下,提出了基于......
随着信息技术的飞速发展,计算机和网络技术的应用领域越来越广泛,企业的业务过程也随之变得更加复杂。工作流技术能够整合企业的复......
首先简介一般加时间Ｐｅｔｒｉ网模型及其使能规则和点火规则，然后给出几种典型的加时间的Ｐｅｔｒｉ网模型及其动态行为及点火规则，其中，通讯时间Ｐｅｔｒｉ网侧重于......
针对三维片上网络(3D NoC)中IP核并行测试任务复杂、测试效率较低的问题,结合3D NoC测试的特点建立了一种时间Petri网模型,将变迁......
针对化工间歇生产过程的特点及优化问题，本文提出用时间Petri网对过程建模，用动态规化方法对过程实行优化控制，并研究了该优化策略下......
针对现有方法难以对含多个子系统的并发武器装备软件进行安全性分析的难题,提出了基于多维的时间Petri网软件安全性建模分析方法(k......
提出一种改进的有色、时间Ｐｅｔｒｉ网——扩展有色、时间Ｐｅｔｒｉ网，有效解决了模型规模和信息显示容量之间的矛盾，图形简洁紧凑，内涵丰富，具有较强建模......
选矿厂厂址选择是一个复杂的系统工程，其直接关系到选矿厂在建造、运营期间的经济效益、社会效益等诸多方面。厂址选择一直以来是研......
当前，院外心脏急救的成功率仅为2％左右，而心脏急救成功率高低与心脏急救流程的时间长短密切相关，如何缩短心脏急救流程的时间从而提高......
论文来源于新松公司的科技部超大规模集成电路制造装备重大专项：300mm智能真空机械手关键技术及样机研制。在查阅了大量资料的基础......
基于通信的列车控制(CBTC)系统已广泛应用于实际生活中,与之俱来的是对系统提出更高的要求,其中包括系统的安全性和可靠性,而对系......
在复杂钢铁生产中，运用信息技术、现代管理技术和定性与定量相结合的方法来提高决策的科学化水平、提高产品产量和质量、缩短生产时......
文章将PETRI网方法和企业现代安全管理信息系统作为研究对象,在给出PETRI网方法、危险源事故树分析、企业现代安全管理和计算机管......
针对点 -时段时序逻辑的不足 ,提出了一种新的时段时序逻辑——扩展时段时序逻辑 ,对不确定时间段发生的事件具有较好的描述能力 .......
针对自动测试系统中并行测试任务调度复杂、难以优化的问题,提出了一种Petri网技术和模拟退火遗传算法相结合的任务调度优化算法.......
本文在对同步信息进行分类和分析的基础上 ,分析了OCPN模型的局限性 ,提出了改进的多媒体同步模型ROCPN。通过在节点中引入媒体表......
讨论了供应链网络中如何选择优化路径的问题,提出采用时间Petri网对供应链网络的方法.此方法根据顾客需要货物的情况,有条件地选取......
在基于单片机的智能仪器的软件设计中采用了多线程技术,使多个任务并行执行.建立的多线程的智能仪器扩展时间Petri网模型,直观、形......
Petri网是一种图形化的建模方法,具有直观、易用的特点,是业务流程建模常用方法.面向对象方法将对象通过消息传递关系组成一个系统......
由于一架飞机一天要执行多个航班,使得航班之间存在前后衔接关系,因而一个航班的延误会波及到与之衔接的下游航班,造成航班延误链......
过程调度在间歇生产过程中起着非常重要的作用。针对过程调度的特点,我们建立了UIS中间存储策略下的间歇过程调度的混合整数规划(M......
近20年来,间歇过程用水网络的研究得到了人们的广泛关注,并取得了一定的发展.以往对间歇过程的水网络集成研究多采用图解法和数学......
针对传统分析方法的不足 ,提出了时间 Petri网的线性逻辑表示和时间推理方法 .基于线性逻辑 ,定义了时间 Petri网中变迁之间的各种......
