基于赋时CPN的应急空间系统体系结构建模与分析

在分析应急空间系统体系结构概念与运作过程的基础上,建立了应急空间系统体系结构的赋时CPN模型,并描述了模型的组成要素;运用CPNTools的状态空间分析工具分析了应急空间系统体系结构模型的逻辑性,验证了模型的合理性;运用CPNTools对模型进行了多次仿真,依据多次仿真数据并结合gnuplot软件分析了应急空间系统体系结构的性能。

基于层次赋时CPN的网络系统建模与可生存性优化

生存性分析是生存性增强的前提条件。针对当前生存性分析方法动态建模和复杂系统建模能力差的缺陷,提出了一种基于层次赋时CPN(HTCP-nets)的系统可生存性分析法,应用建模仿真工具CPN Tools对网络系统的生存环境和服务流程进行建模分析,求得了关键服务请求的平均响应时间、平均服务时间等表征系统生存能力的指标,最后根据分析结果给出了进行系统可生存增强的方法。

基于分层TCPN的集装箱码头作业建模仿真研究(英文)

利用CPN TOOLs软件,对基本着色Petri进行赋时和分层的扩展,采用自上而下的方法,建立了集装箱码头作业系统的分层Petri网模型,其子网为赋时着色Petri网.基于实例,在集装箱码头作业系统的分层Petri网模型上进行仿真,根据前沿和堆场设备以及水平输送车辆的利用情况,分析了码头作业系统的瓶颈.

空间信息获取系统建模与分析

分析了空间信息获取系统概念和运作过程,建立了空间信息获取系统的SysML模型以及赋时CPN模型;通过CPN Tools状态空间分析工具,验证了空间信息获取系统的逻辑性;运用CPN Tools对模型进行仿真,依据仿真数据分析了空间信息获取系统的性能,并给出了空间信息获取系统的改进建议。