Univ. Nord de France, Lille, France;
Railway interlocking system; coloured Petri net; model pattern;
机译:基于Petri网的基于组件的分布式铁路联锁系统建模与分析
机译:基于Petri网的基于组件的分布式铁路联锁系统建模与评估
机译:扩展Petri网减少铁路联锁系统的控制策略。
机译:Petri网铁路互锁系统的模型模式
机译:基于Petri网的一类人流量铁路系统的建模,仿真和优化。
机译:使用模糊连续Petri网对动力学数据不确定的生物系统建模
机译:使用彩色Petri网对铁路联锁表进行建模