机译:扩展Petri网减少铁路联锁系统的控制策略。
Department of Computer Science, Abdul Wali khan University, Mardan, Pakistan;
Department of Computer Science, King Faisal University, Al Hassa, Saudi Arabia;
Faculty of Information Technology, University of Central Punjab, Lahore, Pakistan;
Department of Mathematics, Abdul Wali Khan University, Mardan, Pakistan;
Software specification and verification; Petri net; Mobile Petri net; Railway interlocking system; Safety properties;
机译:基于Petri网的基于组件的分布式铁路联锁系统建模与分析
机译:基于Petri网的基于组件的分布式铁路联锁系统建模与评估
机译:异常情况下铁路交通控制的模糊Petri网方法:来自台湾铁路系统的证据
机译:基于Petri网的铁路联锁系统模型模式。
机译:基于Petri网的一类人流量铁路系统的建模,仿真和优化。
机译:智能Petri网温度控制框架可降低建筑能耗
机译:使用有色petri网模拟铁路联锁桌的经验
机译:国家标准局实时控制系统中使用petri网控制搜索技术和搜索策略