基于UML与有色Petri网的RBC切换场景的建模方法研究

• 作者: 张友鹏 杨柳倩
• 来源期刊: 计算机测量与控制
• 关键词: 无线闭塞中心 切换场景 UML 有色Petri网
• 年，卷（期）: 2012,（4）
• 所属期刊栏目: 算法、设计与应用
• 页码范围: 1116-1119
• 分类号: TN911
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张友鹏	兰州交通大学自动化与电气工程学院	151	1113	16.0	25.0
2	杨柳倩	兰州交通大学自动化与电气工程学院	4	12	2.0	3.0