对象petri网相关论文
随着Internet逐步演变成一个全球化的开放计算平台,基于Web服务的服务集成成为过程技术应用与研究的热点。服务集成通过把功能单一......
随着经济全球化及跨国公司的不断发展，近年来软件外包及全球配送业务得到了突飞猛进的发展。一个软件产品或项目的需求、设计、开发......
作为软件工程中的核心要素之一的软件过程技术，近年来如雨后春笋般发展，出现了诸如著名的瀑布模型、增量模型、螺旋模型、极限模型等......
配置管理系统是软件能力成熟度模型(CMM)开发环境中一个重要的基础性工具,它在工作流管理系统的支持下,与项目管理系统相互配合,完......
随着网络和IT技术的发展,现代工业控制开始逐渐走向网络化,制造设备入网成为当前的热点。为了规范多厂商生产的设备之间的通信行为......
数据是企业业务过程不可缺少的部分。随着因特网的普及,应用由传统的集中式向分布式转化,更多的数据包括关键的以及保密的数据大量......
工作流是一类能够完全或者部分自动执行的经营过程,它能使一系列过程规则、文档、信息或任务能够在不同的执行者之间进行传递与执......
Petri网是一种既有直观的图形表示方式，又有严格数学理论基础和多种分析方法的建模工具。使用Petri网的分析方法可以刻画系统的结构......
学位
为描述和分析面向服务军事信息系统的功能结构、评价其性能,提出了一种层次化可执行的系统建模仿真方法。该方法结合IDEF3和EPC-D......
目前非模块化设计的电力系统应用软件系统,日常维护、升级不方便;构架缺乏开放性,软件对应用环境的适应性差,很难实现增量开发,很......
调度操作票专家系统是专家系统在电力系统中的一个重要应用。传统的基本Petri网的规则描述方法虽然反映了知识库的整体情况,实现推......
现代远程教育日益成为当今世界教育技术发展的热点和潮流.目前,作为教学中的一个重要组成部分--实验教学,还不能在远程教育中很好......
介绍了军事信息服务的基本含义,给出了基于对象Petri网的军事信息服务组合模型的形式化描述方法,构建了军事信息服务组合模型的基......
介绍了军事信息服务的基本含义,给出了基于对象Petri网的军事信息服务组合模型的形式化描述方法,构建了军事信息服务组合模型的基......
提出了一种融合UML和对象Petri网优点的分布式工作流系统的建模方法,利用UML的扩展机制进行了有关工作流特性的扩展:定制了合同、......
针对文献[1]提出的融合UML和对象Petri网优点建模分布式工作流系统的方法,本文进一步对UML模型中的合同及其相互关系映射后的对象P......
把Petri网原理和面向对象技术相结合,定义一种对象Petri网.运用这种对象Petri网对可复用的电力系统软件体系结构进行描述.这种对象......
针对复杂网络攻击建模的不足，提出一种基于对象Petri网的全网攻击模型。通过对精确路径和粗糙路径的定义，提出了全网攻击模型的自动......
首先给出对象Petri网 (ObjectbasedPetriNet,OPN)的定义 ,介绍了OPN对基本Petri网的扩展。然后总结OPN的特点和C4 ISR系统仿真模型......
对象Petri网将面向对象的思想和Petri网相结合，引入了对象的概念和机制，扩展了基本Petri网的功能，为Petri网在离散事件动态系统的建模......
服务组合方法对于分布式网络环境下基于SOA的军事应用系统的综合性能影响很大。提出了一种基于OPN的服务动态组合方法的解决方案。......
为了对体系结构设计中的作战事件跟踪描述进行建模分析,提出了用扩展时序图模型对作战事件跟踪描述进行建模的方法。定义时序图的......
组织间协同的信息流以及每个参与组织的自治性是跨组织协同的两个要素。结合跨组织工作流建模与对象网之间的相似性，提出了一种基于......
为解决协同设计中多任务实例并发执行，以及设计过程动态控制的可视化与形式化问题，提出了协同设计全过程的概念及其形式化方法——过......
义性而难以被验证。将序列图表示的场景转换为语义精细的对象Petri网模型OPDL，并通过其仿真环境OPMSE对其进行仿真，将场景描述的系统......
提出了采用UM L与OPN相结合的方法对军事指挥自动化通信系统进行建模,该方法利用UM L建立全面的静态模型和全力描述的动态模型,并......
利用对象Petri网(OPN)重点通过对活动和连接两个因素的描述来对敏捷供应链过程进行定义.通过进一步对其进行数学描述,以便利用数学......
提出用对象 Petri网对结构管理和版本管理中配置项的状态变化情况进行描述 ,并结合已有的对工作流程的描述 ,使配置管理有一个统一......
文章通过对信息安全的需求分析，提出了对信息安全需求用层层分解、逐步细化的方法来构造信息安全模型。同时把对象Petri网引入到信......
IDEF3过程模型是描述复杂、并发系统业务逻辑强有力的建模工具,具有完备的建模语义,在业务建模中有广泛的应用。然而IDEF3过程模型......
针对通常的模型不能同时描述水下对抗系统的静态结构和动态过程,而且在层次化、可扩充性等方面也不能满足建模需求的问题,采用对象......
提出了一种基于决策规则的机械产品协同设计全过程动态建模方法。在定义了基于决策规则的协同设计过程OPN模型的基础上,将机械产品......
为了分析对象Petri网模型的复杂度，实现对模型复杂度的量化度量，提出了一套模型复杂度度量集。对象Petri网具有面向对象的特性，可以较......
针对远程虚拟实验设计中存在的缺乏统一的系统模型的问题,本文提出了一种虚拟实验过程模型,介绍了这个模型的基本结构,给出了形式......
传统的合同网协议模型通过管理Agent和承包商Agent之间招投标进行交互和协商以共同完成目标任务。但传统合同网协议模型也存在一些......
基于UML（uniform modeling language）和Petri网的不同特点，应用UML的不同视图来描述C^4ISR系统体系结构的相关产品。根据产品之间的关......
针对防空反导要素多、过程复杂的特点,详细分析了导弹预警与防御拦截流程,结合对象Petri网建模方法,对防空反导建模中涉及到的关键......
舰载对空搜索雷达的作战效能评估是电子战领域的一个研究热点,它的评估方法得到了广泛的研究。针对通常的模型不能同时描述舰载对......
文章简要介绍了电子情报处理过程以及Petri网建模的优点，采用面向对象Petri网构建了电子情报处理系统相关子模型，并对每一个子模型进......
基于元模型的体系结构设计思想和基于可执行模型的评估方法是体系结构领域研究的两个热点，但当前的研究没有将两者结合起来。文章基......
提出用对象Petri网表示网络认证协议的方法。这种方法能反映协议的动态特性，也利于体现协议执行主体可利用的资源。最后，总结出可把......
将系统分解成敌我两大子系统，再分成若干个独立实体。利用对象Petri网构建炮兵侦察网的OPN模型，实现复杂电磁环境下炮兵侦察网的侦察......
在对现有工作流建模技术进行分析的基础上，针对地区电网调度这一特殊的工作流应用，分析了工作流建模的难度和面向对象Petri网建模（OPN......
如何实现模块化可继承的建模,一直是C^4ISR系统的建模及分析的难点之一.基于时间对象Petri网的建模,层次分明可视界面较强,各对象......
利用Petri网对具有并发、同步、竞争、资源争用等特点的一类离散事件动态系统具有很好的描述和分析能力的优点,对其进行改进,得到......
Petri网是描述具有分布、并发、异步特征的系统的有效工具。提出了对象 Petri网 (OPN )的概念 ,并对基于 OPN的 C3 I仿真系统结构......
作战需求验证是C4ISR装备体系需求开发过程的重要环节,仿真是作战需求验证的一种有效手段,而验证模型的建立是进行仿真验证的前提......
为了增强传统对象Petri网的定量分析能力，提出随机对象Petri网模型。该模型具备随机性和层次特性，获得与随机Petri网的等价关系，从宏......
