着色PETRI网相关论文
无人机(unmanned aerial vehicle,UAV)战术规划问题是UAV作战的核心,本文以UAV战术规划中的资源分配和目标推理为研究对象,针对传......
为解决复杂场景下离散事件系统动态性高引起的分析困难问题,提出了一种基于着色Petri网的离散事件动态系统建模方法.该方法首先对......
为合理控制复杂安全通信协议规范模型状态空间的体积,清晰完备地发现协议规范的死锁、活锁和属性缺陷,提出1种根据协议固有层次逐......
针对军用飞机使用民用机场的情况,为提高民用机场停机坪的使用效率,提出军民航共用一块停机坪的新思路,并研究共用停机坪的容量大小和......
机场应急救援活动是一个典型的离散事件动态系统,本文认为可以采用着色Petri网离散事件建模技术,依据应急救援流程和各环节的关系,在C......
研究选项对互操作的影响。首先对可选项的作用阶段建立着色Petri网模型并生成部分模型的可达图;然后基于所得可达图采用数据选择的......
针对Web服务异常处理中存在缺乏异常处理逻辑开发方法支持的问题,提出了一种基于着色Petri网描述的Web服务异常处理逻辑开发方法。......
HDFS分布式文件系统作为Apache Hadoop的核心组件之一,在工业界得到了广泛应用.HDFS采用了多副本机制保证数据的可靠性,但是由于多......
本文初步探讨了C3I 建模在信息战中应用问题,介绍了一种基于面向对象技术生成C3I 系统着色PETRI 网(Colored Petri Nets)模型的建模方......
着色Petri网有强大的系统动态行为的描述能力,又有直观的图形表示,能够有效描述公文流转过程中成员的交互过程、任务依赖问题.本文......
人们对于没有约束的通信的需求激发了移动通信系统的研究热潮,在第三代移动通信方兴未艾之际,集多功能为一体的第四代(B3G/4G)宽带......
无线通信经历了一百多年的发展,已成为了人们日常生活和科研创新活动中必不可缺的一部分。目前,第三代无线通信系统3G和即将到来的......
该文主要讨论了着色Petri网及其仿真工具Design/CPN,并对一个通信网络进行建模和分析.文章首先利用一个资源分配的例子引出着色Pet......
计算机系统的复杂性不仅使其分析与开发困难,而且同样使其管理面临挑战。为解决复杂系统管理面临的问题,具有一定程度智能性的自主......
Internet电话系统中的业务创建和配置比传统电话系统要复杂,业务种类的定制和增加也更为快捷和灵活。因此,在业务不断增加的过程中......
运行在网络环境中的软件系统通常由分布在不同网络节点上的软件实体组成,并基于一定的异步通信协议进行分布式协同工作,实现各种软件......
随着软件系统需求的不断增长,软件界的问题也越来越多,导致项目延期、超出预算或质量低劣的问题不断发生,被业内人士称之为“软件......
随着企业的市场竞争的日趋激烈和业务环境的不断变化,对业务流程管理的要求也变得越来越高,在多流程多实例并行执行的工作流管理系统......
工作流技术是实现企业业务过程建模、仿真分析、优化管理的核心技术。它将业务过程逻辑从应用系统中分离出来,达到了对过程建模、重......
软件测试是保证软件质量的重要手段,也是软件开发过程中一项非常重要的工作。一直以来,国内的很多软件企业对于软件测试的重要性缺乏......
工作流技术是目前计算机应用领域的研究热点,在项目管理、制造领域以及业务流程重组中有着广泛的应用。工作流就是工作流程的计算模......
近几年随着科技的发展,Internet技术广泛的被应用,具有松耦合、异步和多点通信的等特点的发布/订阅系统(pub/sub系统)满足了分布式......
业务流程管理(Business Process Management,即BPM)旨在通过对活动、资源的优化组合,完成跨组织的合作,实现业务目标。自20世纪90年代提......
近几年来,工作流管理技术被业界广泛采用并得到了迅速发展。工作流管理最重要的功能之一就是工作流建模。这些预定义的过程模型必......
随着计算机和网络技术的不断发展,Web服务的不断普及,单个Web服务的调用已经不能满足服务请求者的需求,服务组合已成为了一种必然......
工作流建模主要研究如何清晰、准确地表示实际应用中的业务过程。一个好的建模方法是建立工作流模型的关键,目前基于活动、事务和......
SIP协议凭借其简单、易于扩展、便于实现等优点越来越得到业界的青睐,它已经成为NGN(下一代网络)和3G多媒体子系统域中的核心协议,......
随着信息时代的发展,海量数据的存储处理成为关键问题,计算机系统的中心将逐步向存储系统转移。因此网络存储得到迅速发展,特别是基于......
网络协议具有空间分布性、并发性和异步性,这些特性对网络协议的开发质量带来了巨大挑战。协议化验证是对协议的功能和性能进行校......
工作流模型可以清晰的描述业务流程,而且随着信息技术的进步,其应用范围也越来越广,对工作流模型的科学评价也越来越成为必要。然......
随着软件产业的飞速发展,并行软件系统己经成为当下主流的一种软件系统,在人们生活生产中扮演越来越重要的角色。例如常见的云计算......
随着Web服务组合的发展,Web服务组合越来越复杂,Web服务的质量也成为关注热点。Web服务的测试,尤其是Web服务组合的测试,成为保障W......
软件系统的开发是一个包含可行性分析、需求分析、编码、执行、测试、运行维护等多个阶段的复杂过程。特别是开发分布式的、具有并......
随着人们对业务流程管理的可靠性和正确性要求的提高,科研管理工作流已经成为科研机构实现业务过程自动化的核心技术。建立工作流......
对产品开发过程进行建模和分析可以加深设计人员对开发过程的理解.在着色工作流网(WFCP-net)的基础上建立了产品开发过程模型,随后......
为提升着色Petri网的设计分析与模型检验能力,讨论了着色Petri网的结构化展开技术.以着色Petri网的令牌单元和绑定单元为基元,通过......
针对工程机械机群在承担道路抢险施工任务时面临的多点配置问题,分析了工程机械抢险施工作业的特点,建立了抢险施工排队网络的着色......
随着互联网科技和新兴网络应用的不断兴起,网络中的流量呈爆炸式增长,弹性光网络(Elastic Optical Networks,EONs)基于光正交频分......
随着互联网技术的广泛普及和飞速发展,高清视频、实时会议和在线点播等新型网络应用的不断出现,骨干网流量呈爆炸式增长,这对底层......
针对缺乏对城市地下物流系统(underground logistics system,ULS)在市场环境下的运营状况进行研究的问题,引入“ULS服务运营商”的......
公铁联运过程涉及的主体众多,信息流动过程繁杂。原有的信息交互流程已不能很好地满足当前公铁联运的发展需求。为此将从流程化角......
简单介绍了着色 Petri网 (CP-网或 CPN)的发展过程和基本原理 ,重点就 CPN在军事 C3I系统建模仿真中的应用进行了探讨 .
The deve......
归纳了当前多阶段任务系统(PMS,Phased Mission Systems)可靠性建模的基本假设,指出了解析模型描述和求解能力的不足以及仿真模型......
提出了一个电信系统业务特性集成的建模和检验方法 .根据这个方法 ,现有的系统和新的业务特性分别表述为一个着色Petri网 ,业务特......
功能块是实现现场智能仪表互操作、自诊断和自适应功能的基础。为了形式化地分析和模拟功能块及其构成的控制系统 ,本文建立了功能......
目前,案例推理(CBR)是一种相似推理方法,其核心在于用过去的实例和经验来解决问题。它能把提交给系统的新案例同系统内先前的案例相......