基于着色Petri网的防空电子战系统建模研究

着色Petri网(CPN)是一种面向图形的语言,用来设计、说明、模拟和验证系统。提出了适于防空电子战作战过程建模的面向仿真的CPN,并对其在一个小型的防空电子战系统作战过程建模中的应用进行了探讨,同时运用CPN本身的动态特性,结合防空电子战系统的实际作战运用给出了仿真实例,其结论一方面可作为辅助决策的依据,另一方面,也为防空电子战系统的优化提供了方案。     

基于分层着色Petri网的装备战场抢修系统建模

讨论了一种基于分层着色Petri网理论建立装备战场抢修系统模型的方法。这种方法是通过引入复杂库所和Petri子网来对原有的装备战场抢修系统模型进行改造，克服了以往用普通Petri网建模的不足之处，使模型变得直观、简单，并有利于模型分析和仿真实现。     

基于着色Petri网的GEO-RBAC策略验证

GEO-RBAC是一种能够处理空间信息的访问控制策略,其角色按照粒度分为角色模式和角色实例,按照维数分为空间角色和非空间角色。基于实例的角色分配与传统RBAC策略类似。使用着色Petri网对GEO-RBAC中基于模式的角色分配进行建模,并给出了可达性分析方法,通过对角色分配事件图可达状态的分析实现了GEO-RBAC策略的一致性验证。     

基于着色Petri网的卫星军事应用系统建模

卫星军事应用系统是一个复杂的军事信息系统,具有同步、并发、冲突等特点。应用着色Petri网技术对其进行建模,符合卫星军事应用系统的特点,能够有效分析系统的静态结构和动态行为。介绍了着色Petri网的基本概念,剖析了卫星军事应用系统的作战过程,建立了系统的CPN模型,最后针对模型进行了性能分析。     

着色Petri网的结构展开方法

为提升着色Petri网的设计分析与模型检验能力,讨论了着色Petri网的结构化展开技术.以着色Petri网的令牌单元和绑定单元为基元,通过对着色Petri网展开为普通Petri网的等价性证明,提出了基于着色Petri网关联矩阵和标准元语言的展开规则和规范化步骤.研究结果为着色Petri网到普通Petri网的自动转换过程和着色Petri网验证提供了有力支持.     

基于面向对象着色Petri网FMS仿真软件

基于面向对象着色Ｐｅｔｒｉ网模型,利用计算机仿真技术,开发了ＦＭＳ仿真软件。本文着重介绍软件的五大功能模块及其实现,并给出了仿真实例及结果     

基于RC和着色Petri网的企业信息化过程建模研究

随着企业中IT应用复杂程度的提高，企业信息化的高风险性和高失败率问题日益突出，严重阻碍了信息化的进行．文章通过对上述问题的分析和研究，提出实施前用结果链模型(RC)和着色Patri网对其实施过程建模，找出最佳实施途径；在实施过程中利用结果链模型和评价系统实时／阶段性地监测实施过程中出现的问题，及时进行判断并予以解决，以确保信息化过程始终与企业的利益及战略吻合,拟通过上述手段为企业信息化提供一种定量分析和模拟的工具,这是降低信息化过程的风险，提高成功率的一种探索。     

基于结构化的C3I体系结构着色Petri网建模方法

结构化分析是构筑C3 I系统体系结构的基本方法 ,着色Petri网模型对于C3 I系统体系结构的功能和性能评价具有重要价值。探讨基于C3 I系统体系结构的结构化分析结果建立着色Petri网模型的方法具有重要意义。简要论述了C3 I系统体系结构的结构化开发方法。提出了一种根据C3 I系统功能体系结构的结构化分析模型建立着色Petri网模型的方法 ,应用实例表明了该方法的可行性和实用性。     

基于着色Petri网的复杂产品开发多项目调度建模研究

建立多项目调度模型已经成为复杂产品开发多项目计划和控制的基础。分析了复杂产品开发多项目调度的特点，指出目前已经提出的多项目调度建模方法不能全面的体现和描述上述特点，提出了用着色Petri网建立多项目调度模型的具体思路和方法，即在着色Petri网颜色定义的基础上，利用着色网的颜色、层次等特点描述多项目调度的相似性、开放性争层次性，利用着色网的守卫函数、孤函数和双向孤等方法描述多项目调度的冲突性、技术关联性争遮代性，文章简要阐述了模型实例和分析方法，最后给出结论和下一步工作。     

基于UML的C3I体系结构着色Petri网建模方法

着色Petri网模型对于C3I系统体系结构的功能和性能评价具有重要意义。面向对象分析是构筑C3I系统体系结构的基本方法。论述了C3I系统体系结构的基于UML的面向对象的开发方法。给出了一种根据C3I系统逻辑体系结构的UML模型建立着色Petri网模型的方法。应用实例表明了该方法的可行性和实用性。     

基于颜色Petri网的多agent动态调度建模与分析

多agent系统是一个典型的分布式系统,其任务调度策略的性能对于整个系统的性能有重要的影响。调度策略研究领域中一个重要问题是如何动态可视化地呈现调度过程。颜色Petri网结合了Petri网和高级程序语言的优点,拥有严格的数学理论基础,能够对分布式系统进行图形化的模拟。提出了一种基于层次颜色Petri网的多agent调度过程建模方法,该方法对多agent任务处理的全过程进行了建模,模型中通过不同角色的agent对任务进行动态分解和调度,利用Petri网仿真工具,能够在调度过程中考察所提出的调度策略与已有调度策略相比所具有的优点,而且通过对调度简化模型的状态空间进行分析,证明了调度策略的正确性和合理性。目前这种基于Petri网的形式化的可视仿真方法和模型评价方法是其它验证方法难以实现的。     

用层次颜色Petri网模拟主体行为

智能主体动态动作的形式化描述是开发应用多主体系统的的形式化描述多是基于逻辑学的描述,不易直接应用到系统开发中.该文通过利用层次颜色Petri网对市场多主体系统的模拟,提出并讨论了利用层次颜色Petri网为多主体系统建模、模拟主体行为的方法,该方法对多主体系统中主体间的各种动态关系有较好的刻画,并且通过层次化的方法减少了利用一般Petri网系统(如P/T系统)模拟复杂系统时所遇到的难度.     

基于有色Petri网的CBTC系统列车追踪过程建模与仿真

针对基于通信的列车控制系统(CBTC)特点,首先分析了CBTC系统移动自动闭塞下的列车追踪模型,给出了模型的形式化描述,并依据此追踪模型采用分昙有色Petri网(CPN)建立了两辆列车运行追踪过程的模型,仿真分析CBTC系统移动自动闭塞下的列车追踪特性.仿真结果表明追踪模型能够描述CBTC系统移动自动闭塞下的列车运行追踪过程.     

基于广义随机Petri 网的供应链建模与分析

考察了基于广义随机Petri网的供应链建模与分析技术,在总结Petri网建立供应链模型优势的基础上,将广义随机Petri网(GSPN)的基本理论应用于供应链系统的建模和性能分析,利用GSPN与马尔可夫链的同构关系,采用Petri网与马尔可夫链理论相结合的供应链性能分析方法,为供应链性能的有效评估提供了理论依据,并通过实例验证,该方法可用于分析供应链模型的时间性能和运作效率,为供应链决策层提供参考.     

基于CPN的可信路由器发现协议建模与仿真分析

为了保证终端设备能够可信高效地通过接入路由器访问互联网,提出一种可信路由器发现协议,实现安全、高效的接入路由器身份认证过程,并基于着色Petri网(Colored Petri Nets,CPNs)为该协议建立关联的功能验证模型和性能分析模型,有效集成协议的安全性验证与性能分析过程,以确认该协议在保证安全能力的基础上可以有效提升接入路由器身份认证过程的性能。基于着色Petri网的安全性验证与性能评价集成分析方法为安全类协议的性能改进分析提供了一种更加便捷、有效的协议仿真分析方法。     

CPN及在军事指挥控制系统建模中的应用

简单介绍了着色 Petri网 (CP-网或 CPN)的发展过程和基本原理 ,重点就 CPN在军事 $C^3I$系统建模仿真中的应用进行了探讨 .     

电子支付协议可追究性的Petri网建模与分析

可追究性是电子支付协议必须满足的安全属性之一,针对电子支付协议,建立了支持支付协议可追究性分析的分层有色Petri网模型,并基于此提出一种对支付协议可追究性分析的一般性方法.Kungpisdan等人曾提出一种可追究性逻辑,证明一个典型的移动支付协议KSL协议满足可追究性.但使用上述所提方法对该协议建模并进行可追究性分析,发现了可追究性逻辑未发现的漏洞,分析例证结果表明了所提方法的有效性.     

基于着色petri网的电子商务跨组织工作流建模与分析

在现代电子商务中,企业常常跨组织进行各种商务活动。利用着色跨组织petri网对电子商务工作流进行了建模与分析。给出了电子商务着色跨组织工作流网健壮性的概念,并利用可达标识图讨论了电子商务工作流网的健壮性。     

基于通信的列车控制系统的有色Petri网模型的研究

基于通信的列车控制系统是我国铁路信号技术发展的一个重要方向，在分析了基于通信的列车控制系统结构的基础上，采用有色Petri网方法对该系统进行建模仿真研究。有色Petri网是一种以图形形式描述系统结构、功能的建模分析方法，特别适合大型异步并发系统的建模与仿真。为了使模型简洁清楚，提出了分整体层、处理层和功能层三部分建立相应的系统有色Petri网图的分析方法，并用CPN／Tools工具软件进行实现。通过建立一个基于通信的列车控制系统的有色Petri网模型，为最终开发出该系统的软件仿真平台奠定了良好的基础。     

基于随机PETRI网的云计算资源访问策略建模和分析

云计算是通过分发计算资源到大量的分布式计算机,这些计算机可以是远程的计算机或服务器,这就涉及到如何动态获取服务资源的最优方法。而Petri网和进程代数二者都是关注于系统动态行为的形式方法,因此将二者合并,可以对云计算动态获取服务资源进行性能分析,并在此分析基础上,得到资源最优选择方案。首先对云计算模型建立随机petri网模型,并对该随机petri网模型着色。其次,在文献[2]提出的SPA的基础上对该云计算的随机PETRI网模型进行性能分析,并在该基础上对该模型进行改进。最后,由于云计算的云是由多层组成的,则在云计算层次与OSPF以及petri网模型的基础上提出对服务器资源的路由选择,提出针对层次建立本地路由表、区域路由表、全局路由表,从而得到最佳路由选择方案。