论文部分内容阅读
针对仅有一台车载电台正常的RBC（无线闭塞中心）切换场景，探讨了一种基于UML模型和有色Petri网（CPN）的系统建模方法；首先利用UMI。模型的顺序图及状态图描述RBC切换流程和过程中车载设备的状态转移，再从UMI。状态图中提取信息构造相应的有色Petri网模型，最后利用CPN Tools的状态空间工具分析模型的有界性、家态性、活性和公平性，得到的模型动态行为符合RBC切换功能的要求；论文验证了该建模方法的有效性，为完善RBC系统设计提供依据。