Rule-Based Refinement Of Petri Nets For Modeling Train Control Systems

机译：基于规则的方法对自动化Petri网建模的离散事件系统进行监督控制

机译：基于场景的彩色Petri网基于卫星的列车控制系统的建模

机译：具有彩色Petri网模型的基于规则的专家系统，用于配电系统服务恢复

机译：基于Petri网的基于规则的精炼以对火车控制系统进行建模

机译：几何驱动Petri网和机电控制系统建模方法

机译：使用模糊连续Petri网对动力学数据不确定的生物系统建模

机译：基于彩色Petri网的列车控制系统互操作性试验台的建模

机译：程序，列车服务适应Petri网模型生成设备，列车威慑安排支持设备，列车服务适应Petri网模型生成方法和列车威慑安排支持方法

机译：程序，列车运行自适应PETRI NET模型生成器，列车测距安排支持装置，列车运行自适应PETRI NET模型生成装置和列车测距安排支持方法

机译：基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器