期刊文献+
共找到122篇文章
< 1 2 7 >
每页显示 20 50 100
基于UML和对象Petri网的分布式工作流系统建模方法研究 被引量:5
1
作者 柳青 胡金柱 《计算机应用研究》 CSCD 北大核心 2004年第5期58-60,63,共4页
提出了一种融合UML和对象Petri网优点的分布式工作流系统的建模方法,利用UML的扩展机制进行了有关工作流特性的扩展:定制了合同、端口、通信协议块等版类,建立了合同化的层次体系结构;为了对建立的模型进行严密的数学分析和模拟,又提供... 提出了一种融合UML和对象Petri网优点的分布式工作流系统的建模方法,利用UML的扩展机制进行了有关工作流特性的扩展:定制了合同、端口、通信协议块等版类,建立了合同化的层次体系结构;为了对建立的模型进行严密的数学分析和模拟,又提供了从UML模型到对象Petri网的转换机制。 展开更多
关键词 UML扩展 对象petri 分布式工作流 合同设计
下载PDF
基于过程控制网的协同设计建模与分析 被引量:4
2
作者 安毅生 李人厚 《计算机集成制造系统》 EI CSCD 北大核心 2006年第9期1352-1358,共7页
为解决协同设计中多任务实例并发执行,以及设计过程动态控制的可视化与形式化问题,提出了协同设计全过程的概念及其形式化方法———过程控制网。协同设计全过程由设计对象、设计阶段和过程转移机制组成。过程控制网是在面向对象Petri... 为解决协同设计中多任务实例并发执行,以及设计过程动态控制的可视化与形式化问题,提出了协同设计全过程的概念及其形式化方法———过程控制网。协同设计全过程由设计对象、设计阶段和过程转移机制组成。过程控制网是在面向对象Petri网的基础上,通过扩展其变迁的语义得到。设计对象建模为托肯,过程转移建模为过程网,各设计阶段建模为单元网,过程网和单元网通过特定的变迁进行交互。最后,给出了协同设计全过程的过程控制网模型的运行实例。多实例并行执行所产生的变迁序列表明,该模型不仅胜任动态设计过程的控制,而且允许多个任务按照不同的过程定义同时执行。 展开更多
关键词 协同设计 全过程模型 决策变迁 对象petri
下载PDF
以对象Petri网为基础的C^3I仿真系统的设计和实现 被引量:3
3
作者 余滨 林学华 贺鹰 《火力与指挥控制》 CSCD 北大核心 2002年第2期23-27,共5页
Petri网是描述具有分布、并发、异步特征的系统的有效工具。提出了对象 Petri网 (OPN )的概念 ,并对基于 OPN的 C3 I仿真系统结构、设计及实现 ,作了较为详细的探讨。
关键词 对象petri C^3I系统 仿真系统 军事综合电子信息系统 指挥自动化
下载PDF
基于对象Petri网的远程虚拟实验过程模型 被引量:3
4
作者 董亚波 吴迪 朱淼良 《电路与系统学报》 CSCD 2003年第4期68-72,81,共6页
针对远程虚拟实验设计中存在的缺乏统一的系统模型的问题,本文提出了一种虚拟实验过程模型,介绍了这个模型的基本结构,给出了形式化定义,并利用对象Petri网(Object Petri Nets,OPN)对这个模型进行了描述。
关键词 虚拟实验 过程模型 对象petri
下载PDF
医疗信息系统的集中式整合模式及其建模分析 被引量:2
5
作者 闫春钢 汪明新 +1 位作者 刘关俊 吴岩 《系统仿真学报》 CAS CSCD 北大核心 2013年第7期1435-1441,共7页
优化医疗信息系统的整合问题是医疗信息化建设迫切需要解决的问题。目前医院中医疗信息系统大多是由各个子系统以互连方式整合而成。这些系统存在系统的可扩展性差、对系统的维护不方便、对系统的分析困难等问题。提出了基于IHE(Integra... 优化医疗信息系统的整合问题是医疗信息化建设迫切需要解决的问题。目前医院中医疗信息系统大多是由各个子系统以互连方式整合而成。这些系统存在系统的可扩展性差、对系统的维护不方便、对系统的分析困难等问题。提出了基于IHE(Integrating the Healthcare Enterprise)技术框架的医疗信息系统的集中式整合模式,克服了现有的互连式整合模式的若干不足。运用对象Petri网对集中式整合模式进行建模。首先对各个子系统进行建模,然后根据各子系统之间的关系建立系统的整合模型,并对整合后的医疗信息系统的合理性进行了分析,给出了在IHE框架下针对复杂系统建立工作流模型的过程及其分析方法。该模型为整合医疗信息系统的实现提供了理论基础和依据。 展开更多
关键词 IHE技术框架 颜色petri 集中式整合 对象petri
下载PDF
基于随机对象Petri网的柔性制造系统性能分析
6
作者 殷仍 胡昊 吕建 《计算机工程》 CAS CSCD 北大核心 2008年第20期49-51,共3页
为了增强传统对象Petri网的定量分析能力,提出随机对象Petri网模型。该模型具备随机性和层次特性,获得与随机Petri网的等价关系,从宏观和微观2个层面对系统进行性能分析,并将该模型应用到柔性制造系统中。实验结果表明,该系统保留了面... 为了增强传统对象Petri网的定量分析能力,提出随机对象Petri网模型。该模型具备随机性和层次特性,获得与随机Petri网的等价关系,从宏观和微观2个层面对系统进行性能分析,并将该模型应用到柔性制造系统中。实验结果表明,该系统保留了面向对象的建模能力,具有较强的定量分析能力。 展开更多
关键词 对象petri 随机petri 随机对象Peri网
下载PDF
一种基于对象网的多视角软件过程模型 被引量:1
7
作者 葛季栋 顾庆 +1 位作者 胡昊 吕建 《软件学报》 EI CSCD 北大核心 2008年第6期1363-1378,共16页
基于关注点分离原则,结合多视角软件过程建模与对象网之间的相似性,提出了一种基于对象网的多视角软件过程模型MOPN-SP-net,可以提高软件过程模型的可复用性(reusability).在使用MOPN-SP-net建模时,得到的多视角软件过程模型是一种多维... 基于关注点分离原则,结合多视角软件过程建模与对象网之间的相似性,提出了一种基于对象网的多视角软件过程模型MOPN-SP-net,可以提高软件过程模型的可复用性(reusability).在使用MOPN-SP-net建模时,得到的多视角软件过程模型是一种多维网.直接分析这种多维网比较困难,为此,提供了一种从对象网到平面网的等价转换规则,且转换前后的模型在合理性准则上保持等价.根据这个转换规则,可以通过分析转换后平面网模型的合理性得知转换前的对象网的合理性. 展开更多
关键词 软件过程 软件过程建模 以过程为中心的软件工程环境 对象网
下载PDF
基于对象Petri网的柔性制造仿真系统的建模与实现 被引量:1
8
作者 王晶晶 汤军社 《中国制造业信息化(学术版)》 2012年第4期20-24,共5页
利用Petri网对具有并发、同步、竞争、资源争用等特点的一类离散事件动态系统具有很好的描述和分析能力的优点,对其进行改进,得到对象Petri网。通过举例说明了对象Petri网的特点及建模过程,基本完成了FMS系统的架构,为下一步的工作提供... 利用Petri网对具有并发、同步、竞争、资源争用等特点的一类离散事件动态系统具有很好的描述和分析能力的优点,对其进行改进,得到对象Petri网。通过举例说明了对象Petri网的特点及建模过程,基本完成了FMS系统的架构,为下一步的工作提供了良好的基础。 展开更多
关键词 对象petri 对象 系统
下载PDF
利用对象Petri网验证场景 被引量:1
9
作者 邓小妮 姜志平 +1 位作者 陈洪辉 罗雪山 《火力与指挥控制》 CSCD 北大核心 2009年第7期72-75,共4页
序列图表示的场景常被用于系统开发早期的需求获取与描述,但因其弱语义性而难以被验证。将序列图表示的场景转换为语义精细的对象Petri网模型OPDL,并通过其仿真环境OPMSE对其进行仿真,将场景描述的系统行为"展示"给需求开发... 序列图表示的场景常被用于系统开发早期的需求获取与描述,但因其弱语义性而难以被验证。将序列图表示的场景转换为语义精细的对象Petri网模型OPDL,并通过其仿真环境OPMSE对其进行仿真,将场景描述的系统行为"展示"给需求开发者和用户,以此进行行为需求的验证。 展开更多
关键词 场景 序列图 对象petri 需求验证
下载PDF
对象Petri网在信息安全建模中的应用
10
作者 冯涛 余冬梅 刘密霞 《计算机工程与应用》 CSCD 北大核心 2004年第28期144-146,共3页
文章通过对信息安全的需求分析,提出了对信息安全需求用层层分解、逐步细化的方法来构造信息安全模型。同时把对象Petri网引入到信息安全系统的建模中,通过只有机密性需求的安全系统的实例来说明:应用OPN对信息安全系统建立的模型可以... 文章通过对信息安全的需求分析,提出了对信息安全需求用层层分解、逐步细化的方法来构造信息安全模型。同时把对象Petri网引入到信息安全系统的建模中,通过只有机密性需求的安全系统的实例来说明:应用OPN对信息安全系统建立的模型可以根据安全需求随意地删除和添加模型中的部分,从而使信息安全模型满足不同水平的信息安全需求。 展开更多
关键词 对象petri 信息安全系统 安全需求 建模
下载PDF
远程考试通用平台的UML模型映射对象Petri网分析
11
作者 柳青 《计算机与现代化》 2005年第10期102-104,107,共4页
针对文献[1]提出的融合UML和对象Petri网优点建模分布式工作流系统的方法,本文进一步对UML模型中的合同及其相互关系映射后的对象Petri网提供了描述系统行为方面的形式化分析方法,并利用此方法对远程考试通用平台进行了动态分析。
关键词 对象petri UML 合同 形式化分析 远程考试
下载PDF
基于对象Petri网的网络认证协议表示及分析
12
作者 刘东喜 赵玉源 +1 位作者 李小勇 白英彩 《计算机工程》 CAS CSCD 北大核心 1999年第S1期159-160,178,共3页
提出用对象Petri网表示网络认证协议的方法。这种方法能反映协议的动态特性,也利于体现协议执行主体可利用的资源。最后,总结出可把协议的安全性问题转化为Petri网单个位置的1-可达性问题。
关键词 网络认证协议 对象petri RSA
下载PDF
一种面向对象的Petri网及其应用研究 被引量:14
13
作者 于振华 蔡远利 《机械科学与技术》 CSCD 北大核心 2005年第1期38-41,共4页
提出了一种面向对象的Petri网(OPN),较好地避免了一般Petri网建模时经常产生状态爆炸的问题,并具有较好的模块性、重用性及可维护性。通过利用OPN建立一个FMS模型的实例,说明了OPN的有效性和强大的建模能力。OPN为离散事件系统的建模提... 提出了一种面向对象的Petri网(OPN),较好地避免了一般Petri网建模时经常产生状态爆炸的问题,并具有较好的模块性、重用性及可维护性。通过利用OPN建立一个FMS模型的实例,说明了OPN的有效性和强大的建模能力。OPN为离散事件系统的建模提供了一种强有力的工具,具有良好的应用前景。 展开更多
关键词 petri 面向对象petri 建模
下载PDF
结合公共视图和对象Petri网的跨组织流程建模 被引量:15
14
作者 王晶 胡昊 +2 位作者 余萍 吕建 葛季栋 《计算机科学与探索》 CSCD 2014年第1期18-27,共10页
组织间协同的信息流以及每个参与组织的自治性是跨组织协同的两个要素。结合跨组织工作流建模与对象网之间的相似性,提出了一种基于公共视图和对象Petri网的跨组织工作流建模方法。组织的公共视图隐藏了内部流程细节,是原流程中仅与合... 组织间协同的信息流以及每个参与组织的自治性是跨组织协同的两个要素。结合跨组织工作流建模与对象网之间的相似性,提出了一种基于公共视图和对象Petri网的跨组织工作流建模方法。组织的公共视图隐藏了内部流程细节,是原流程中仅与合作伙伴相关的活动在外部的投影。通过组合各参与组织的公共视图得到了跨组织协同的信息流网结构,利用对象网的交互集建立了组织内部流程与通信结构的同步关系。通过一个建模实例阐述了该方法的有效性。 展开更多
关键词 工作流建模 跨组织流程 公共视图 对象petri
下载PDF
基于对象Petri网的导弹作战效能评估方法 被引量:7
15
作者 李九天 唐国金 梁彦刚 《微计算机信息》 北大核心 2007年第30期3-5,共3页
对象Petri网将面向对象的思想和Petri网相结合,引入了对象的概念和机制,扩展了基本Petri网的功能,为Petri网在离散事件动态系统的建模和仿真领域的应用提供了一条有效的途径。将对象Petri网应用于导弹作战效能评估领域是一种有益的尝试... 对象Petri网将面向对象的思想和Petri网相结合,引入了对象的概念和机制,扩展了基本Petri网的功能,为Petri网在离散事件动态系统的建模和仿真领域的应用提供了一条有效的途径。将对象Petri网应用于导弹作战效能评估领域是一种有益的尝试,对象Petri网的扩展功能非常有利于导弹攻防对抗系统的离散化建模和仿真,对于作战过程中的各种随机因素可以很方便地在仿真中进行体现,因而作战效能评估的可信性高。研究了洲际导弹攻防对抗系统组成和作战过程,给出了基于对象Petri网的作战效能评估系统框架以及仿真运行机制。 展开更多
关键词 对象petri 导弹 作战效能 框架
下载PDF
基于Petri网的多Agent系统设计与实现 被引量:7
16
作者 于振华 贾俊秀 蔡远利 《电子科技大学学报》 EI CAS CSCD 北大核心 2007年第3期517-520,共4页
以面向对象Petri网OPN为语义基础,从软件体系结构的角度,建立了一种直观的多Agent系统模型MASM,可以形象地描述Agent的内部结构和动态行为。为了缩小形式化模型与系统实现之间的差距,基于MASM设计了一个多Agent系统开发工具箱MASDT,提... 以面向对象Petri网OPN为语义基础,从软件体系结构的角度,建立了一种直观的多Agent系统模型MASM,可以形象地描述Agent的内部结构和动态行为。为了缩小形式化模型与系统实现之间的差距,基于MASM设计了一个多Agent系统开发工具箱MASDT,提供了多Agent系统的基本实现框架。利用MASM对智能加油站系统进行建模和分析,并用MASDT开发了智能加油站系统原型,证实了所提出的一系列理论和方法对于实际系统开发具有一定的指导意义。 展开更多
关键词 实现 建模 多AGENT系统 面向对象petri
下载PDF
随机订单拣选系统建模及仿真分析 被引量:6
17
作者 吴颖颖 吴耀华 王艳艳 《系统仿真学报》 CAS CSCD 北大核心 2011年第1期162-166,共5页
针对随机订单模式下自动拣选系统复杂、并发、同步等特点,采用对象Petri网建立了自动拣选系统模型。该模型规模小、直观、灵活、可探作性好,解决了其他建模方法在自动拣选系统建模上的状态爆炸问题。在该模型的基础上,建立了仿真系统,... 针对随机订单模式下自动拣选系统复杂、并发、同步等特点,采用对象Petri网建立了自动拣选系统模型。该模型规模小、直观、灵活、可探作性好,解决了其他建模方法在自动拣选系统建模上的状态爆炸问题。在该模型的基础上,建立了仿真系统,并首次提出采用均衡令牌数的策略提高拣选效率。仿真结果表明,在相同订单结构下,平均拣选效率提高19.8%。 展开更多
关键词 对象petri 拣选系统 建模 仿真 令牌 均衡令牌数
下载PDF
基于UML和OCPN的防空作战仿真系统建模研究 被引量:5
18
作者 何晶 王刚 《系统工程与电子技术》 EI CSCD 北大核心 2005年第6期1054-1057,1086,共5页
通过深入分析防空作战仿真系统,综合运用形式化和非形式化建模技术,提出了UML和对象有色Petri网相结合的防空作战仿真系统混合建模方法,并给出了防空作战仿真系统的UML和OCPN的混合建模实例,为防空作战仿真系统采用复合建模技术、克服... 通过深入分析防空作战仿真系统,综合运用形式化和非形式化建模技术,提出了UML和对象有色Petri网相结合的防空作战仿真系统混合建模方法,并给出了防空作战仿真系统的UML和OCPN的混合建模实例,为防空作战仿真系统采用复合建模技术、克服单一建模的缺陷提供了有益的思路。 展开更多
关键词 防空作战仿真 系统建模 统一建模语言 对象有色petri
下载PDF
基于对象Petri网的军事信息服务组合与验证方法 被引量:5
19
作者 舒振 陈洪辉 罗雪山 《系统工程与电子技术》 EI CSCD 北大核心 2011年第7期1558-1564,共7页
在对军事信息服务的含义和特点进行分析的基础上,提出了基于对象Petri网的军事信息服务组合模型建模方法。该方法用位置与令牌的属性信息扩展了组合模型的语义表达能力,用开关控制函数解决了不确定活动的路径选择问题,用服务对象实现了... 在对军事信息服务的含义和特点进行分析的基础上,提出了基于对象Petri网的军事信息服务组合模型建模方法。该方法用位置与令牌的属性信息扩展了组合模型的语义表达能力,用开关控制函数解决了不确定活动的路径选择问题,用服务对象实现了层次化建模能力,改善了基本Petri网模型描述的不足之处。为保证模型的正确合理,还提出了由服务实现的有效性、服务交互的正确性和流程构造的合理性三者结合的模型分析方法。最后针对具体的应用案例,对该方法进行了实例分析。结果表明,该方法能满足军事信息服务组合模型构建的需要,并具备良好的描述与分析能力。 展开更多
关键词 军事信息服务 对象petri 服务组合 模型分析
下载PDF
基于对象Petri网的作战行动方案开发方法 被引量:4
20
作者 张晓雪 刘刚 +1 位作者 罗爱民 罗雪山 《系统工程与电子技术》 EI CSCD 北大核心 2012年第10期2058-2063,共6页
结合作战指挥决策领域中作战行动方案开发问题的复杂性和不确定性,描述了作战行动方案的开发问题,提出了使用对象Petri网对作战规划问题的建模和仿真的方法。该方法综合考虑了任务、条件、效果、资源、不确定性对方案生成过程产生的影响... 结合作战指挥决策领域中作战行动方案开发问题的复杂性和不确定性,描述了作战行动方案的开发问题,提出了使用对象Petri网对作战规划问题的建模和仿真的方法。该方法综合考虑了任务、条件、效果、资源、不确定性对方案生成过程产生的影响,所得的模型也便于重用。最后,案例说明了所提方法的可行性和适应性,并分析了所建模型的复杂度。 展开更多
关键词 作战指挥决策 作战行动方案 对象petri 建模仿真
下载PDF
上一页 1 2 7 下一页 到第
使用帮助 返回顶部