防空武器系统的着色Petri网络建模与仿真

防空武器系统是一个复杂的军事系统，具有异步、并发的特点。应用着色Petri网络技术对其进行建模与仿真，极适合军事系统的特点。介绍了CPN的基本概念和建模特性，建立了防空武器系统的CPN模型并进行了计算机仿真，应用状态空间分析法对仿真结果进行了有效的分析和讨论。     

排队系统的着色Petri网建模与分析

着色Petri网（CPN）是研究离散事件动态系统的有力工具,将着色Petri网引入排队系统建模中,能弥补排队模型缺乏动态逻辑行为分析能力的不足。针对排队系统一般模型建立顶层结构模型,并对排队系统的4个要素给出了具体的CPN描述。给出一个具体实例,阐明排队系统的CPN分析法的使用,利用仿真工具CPN-Tools对模型仿真实现,仿真结果与数学模型得出的理论值对比分析,验证了可行性。     

基于CPN状态空间的软件场景测试

CPN作为一种重要的建模工具, 组合了高级编程语言和常规Petri 网的优点,具有状态空间仿真和分析能力.提出了针对CPN状态空间的四种覆盖准则:状态覆盖、变迁覆盖、状态对覆盖、变迁覆盖,对自动饮料机系统进行了CPN建模,并用四种不同场景的CPN 状态空间的覆盖准则来阐述该方法的有效性.     

基于ASK-CTL的有色Petri网模型检验算法研究

针对使用CPN Tools工具建立系统CPN(Colored Petri Net)模型并进行仿真所得到的状态空间报告中出现的死标识是否会影响系统的安全性和模型的正确性进行研究,提出基于ASK-CTL的有色Petri网模型检验算法及死标识合理性验证算法。算法描述了系统有色Petri网的建模与仿真过程,根据得到的状态空间报告判断是否存在死标识,对存在的死标识采用非标准状态空间查询法使用ML语言编辑相关功能函数以验证死标识的合理性,进而确保所建立CPN模型的正确性与系统的安全性。最后,以电梯门系统为例,证明了算法的有效性。     

基于CPN的发布/订阅系统的建模及分析

提出了一种基于着色Petri网(CPN)的pub/sub系统协议分析方法.基于一种结构化P2P网络上的pub/sub系统协议,用着色Petri网对事件发布的消息处理进行建模和描述,并利用CPN tools对模型进行模拟仿真,通过对模型的可达图进行分析,表明了协议具有活性、可达性和有界性,验证了协议的可用性.     

Petri网在C3I系统仿真建模中的应用

建模仿真技术是C^3I系统性能评估、C^3I系统仿真分析与设计的一个重要方法。该文介绍了Petri网的基本概念，说明了Petri网建模的特征；给出了一种应用于C^3I系统仿真研究的建模方法：应用Petri网对C^3I系统进行分析与设计，实现从C^3I系统的组织框图到Petri网数学模型的转换；指出了Petrl网在C^3I系统仿真建模方面的不足和改进方向。最后，该文给出了用Petri网建模的一个简单应用实例。     

面向云计算资源管理的交互仿真平台构建

针对云计算资源管理建模分析的要求,提出了一种应用着色Petri网和Cloudsim的交互仿真平台架构.通过着色Petri网层次化替代变迁构建交互仿真框架,基于CPN Tools的接口规范定义与Java Socket完成接口设计和建立交互控制进程,实现了云计算资源管理CPN逻辑事件模型与Cloudsim物理模型的交互仿真.最后,通过一个简化的云资源管理实例建模仿真和逻辑结构检验,验证了交互仿真平台架构的可行性和实用性.     

基于CPN Tools的性能评价仿真研究

着色Petri网作为一种高级Petri网,由于引入了时间,颜色集,层次结构等概念,使之更适合对大型复杂系统的仿真模拟与性能分析。CPN Tools支持各种随机概率分布,可以在模拟过程中提取各种数据,生成各种不同的性能分析结果,并支持连续模拟,分析,从而可以对现实系统进行更加精确的仿真。利用CPN Tools模拟过程中为CPN模型定义各种数据采集器,可以得到更加准确的性能分析报告。本文通过一个对快餐店进行仿真以及性能分析的简单的例子说明了着色Petri网的特性与CPN Tools的仿真与性能分析方法。     

对象Petri网及其在C4ISR系统仿真中的应用

首先给出对象Petri网（Object based Petri Net,OPN)的定义，介绍了OPN对基本Petri网的扩展，然后总结OPN的特点和C4ISR系统仿真模型的建模原则，讨论了OPN在C4ISR系统仿真建模中的适用性，最后对一个防空战术C4ISR系统建立OPN模型，验证了OPN的可用性。     

基于着色Petri网的联合反导作战系统建模

防空反导作战系统是一个复杂的军事系统,具有同步、并发、冲突等特点。应用着色Petri网技术对联合反TBM作战系统进行建模,符合联合反导作战系统的特点,能够有效地分析联合反导作战系统的静态结构和动态行为。分析了联合反导作战系统的信息交换关系,建立了系统的CPN模型,对模型进行了验证和仿真。     

着色Petri网在科技计划项目管理系统建模中的应用

在深入研究科技计划项目管理业务基础上,鉴于Petri网的特点,提出了利用着色Petri网建模科技计划项目管理系统的方法.分析了着色Petri网适合于系统建模的原因,以项目管理评审环节为例讨论了着色Petri网在建模中的应用,并建立了基于着色Petri网的系统模型.通过对该模型的分析仿真结果表明,该方法是可行和有效的.     

光电干扰武器系统C3I可执行建模的研究

UML已经成为面向对象分析与设计建模事实上的标准。基于UML的C3I系统模型的设计结果是对系统的静态表述，而C3I系统的本质是动态的。着色Petri网(CPN)具有强大的描述能力及严密的数学基础和多种分析手段，并且是可以仿真运行的。提出了从UML产品映射到可用于逻辑、行为和性能方面体系结构评价的CPN可执行模型的方法，对光电干扰武器系统C3I进行了UML建模的一般描述，阐述了光电干扰武器系统C3I从UML产品映射到CPN建立可执行模型的过程。通过对可执行模型CPN的仿真可对光电干扰武器系统C3I进行完整准确的评价。     

基于CPN的两阶段提交协议建模

CPN(Colored Petri Net)是一种面向图形的语言,用来仿真和验证系统,尤其适用于复杂的分布式系统。简单介绍分布式事务处理协议中的两阶段提交协议,提出一种基于CPN的两阶段提交协议建模和分析方法,完整阐述两阶段提交协议的建模过程和模型验证方法,清晰直观地分析模型的仿真结果,形象地表现两阶段提交协议的一致性。利用CPN模型对两阶段提交协议性能的分析,为进一步研究两阶段提交协议提供了一种新的手段。     

基于CPN Tools的电信业务建模及其应用

提出了一种对电信业务流程建立基于着色Petri网模型的方法。该方法基于网元分层结构，使业务在建模后能方便地进行各业务的集成，从而可以进行业务间交互的离线检测。根据上述方法，应用CPN Tools作工具，对若干电信业务进行建模，并利用CPN Tools的仿真功能，对业务之间的冲突作了检测。该建模和仿真方法对业务冲突的离线检测有一定的参考价值。     

IDEF0与CPN的自动转换方法研究

在大型工程系统的建模与分析中,将系统的静态IDEF0模型转换为动态CPN模型的方法得到大量的应用,但是人工转换既繁琐也容易出错。该文在IDEF0和CPN模型的形式化表示分析的基础上,提出两种模型自动转换的一般步骤和方法。     

基于CPN的城市智能交通信号控制系统建模

提出了一种城市交通控制系统的分布式结构及控制策略，介绍了CPN(Colorcd Petrj Nets)的基本概念及建模特性，着重探讨了借助CPN建模技术对城市智能交通信号控制系统进行的建模分析。     

有色Petri网在网络通信协议上的应用

自１９６２年Ｃ．Ａ．Ｐｅｔｒｉ在其博士论文中首先提出Ｐｅｔｒｉ网后,Ｐｅｔｒｉ网理论和应用都取得了长足的进步。有色Ｐｅｔｒｉ网是由Ｋ．Ｊｅｎｓｅｎ提出的一种高级网系统,可以为系统建模提供强有力的支持。文章介绍了有色Ｐｅｔｒｉ网,并利用仿真工具Ｄｅｓｉｇｎ／ＣＰＮ对一个通信协议停－等协议进行分析。     

基于AUML与GPN的Agent交互协议建模

本文提出了一种基于AUML和CPN的Agent交互协议建模和检验的方法。该方法的主要思想是首先利用AUML协议图对Agent交互协议进行描述；然后在此基础上利用各种通信协议 建模中常用的有色Petri网（CPN）来对交互协议进行描述，并进一步转换成为比较适合描述多个Agent并发交互的形式。此外，可以使用CPN的验证工具时CPN所描述的交互协议进行检验。     

基于有色Petri网的网格调度模型的研究

有色Petri网(CPN)是一种高级网系统，可以为系统建模提供强有力的支持。该文介绍了CPN的基本概念和建模特性，在研究目前网格调度环境的基础上，提出了网格调度的CPN模型，应用状态空间分析法对两种典型的调度算法进行了分析和讨论。