Chemical plant; Valve control; Petri net; CIF3;
机译:Petri净控制方法用于管线系统及其通过CIF3的实现
机译:从形式化方法到基于并行系统Petri Nets模型的实现
机译:基于可控Petri网的电机控制系统实现方法
机译:用于管线系统的Petri净控制方法及其通过CIF3实现
机译:基于Petri网抽象的并发系统的监督控制方法。
机译:使用高级Petri网建模免疫系统反应的方法学方法
机译:对分解色的控制限制:使用彩色Petri网对离散事件进行系统监督控制的建议:对分解色的控制限制:使用有色Petri网对离散事件系统进行监督控制的方法