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

Responsive Space System Architecture Modeling and Analysis Based on Timed Coloured Petri-Net

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

Based on analysis of the concept and operation course of responsive space system architecture,the timed coloured Petri-net(CPN) model of responsive space system architecture is built and the composing elements of the model are described.The logicality of responsive space system architecture model is analyzed using the state space analysis tool in CPN Tools and the rationality of the model is validated.With running multiple simulations of the model,the performance of responsive space system architecture is analyzed under the help of the gnuplot program.