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