基于CPN的联锁系统选岔网络建模及验证

机译：基于CPN的中速磁悬浮车辆网络建模与分析

机译：具有顺序释放功能的联锁系统的正式建模和验证

机译：基于Petri网的基于组件的分布式铁路联锁系统建模与分析

机译：基于BP_Adaboost的全电子联锁系统道岔故障诊断算法。

机译：用于移动应用程序的基于SIP的状态和动态发现协议的形式化，验证和可执行CPN模型。

机译：建模一选二选的驾驶任务

机译：寻求更好的企业信息系统互操作性：编排中基于CPN和基于定时CPN的Web服务互操作性验证

机译：Hepa过滤器差压风扇联锁系统的软件验证和验证测试报告。

机译：通过使用在公共场所和公共场所安装的个人网络（PN）网关形成临时个人网络，使用能够使用CPNS服务的公用个人网络（P-PN）网关的聚合个人网络服务（CPNS）设置系统

机译：CILKRAS-基于云的铁路控制系统。 -这是一个联锁系统，可利用基于共享云服务器的资源和服务，高速数据网络的强大功能和经济性，可访问性和可靠性不断提高的高效率运行火车。这将使铁路基础设施的建设更加容易和经济。这将特别有利于铁路网络的商业用户，如煤炭和其他矿产资源行业。铁路网络运营商将有更多选择，以最适合他们的方式实施网络控制。

机译：聚合个人网络服务（CPNS）系统中管理个人网络与CPNS之间连接的方法