China Academy of Railway Science Corporation Limited Beijing, Standards Metrology Research Institute, China;
State Key Lab of Rail Traffic Control Safety, Beijing Jiaotong University Beijing, China;
China Academy of Railway Science Corporation Limited Beijing, Standards Metrology Research Institute, China;
Roads; Rail transportation; Petri nets; Safety; Firing; Control systems; Accidents;
机译:通过时空耦合安全约束的改进定时有色Petri网进行危害分析
机译:将带有定性令牌的彩色Petri网自动转换为带有定性令牌的彩色Petri网
机译:基于扩展彩色Petri网的航空软件安全性验证
机译:使用彩色Petri网进行水平交叉安全分析
机译:PNetTFV : 有色 Petri网 基于网络 在线固件 功能验证 计划 和实施
机译:基于有色Petri网形式主义的多发性硬化症研究计算方法
机译:通过改进的定时有色petri网进行危险性分析,具有时空耦合安全约束
机译:利用语义网络对数据库进行检索,并检索广义随机有色petri网