...
机译:一类受控Petri网的禁止状态问题
Petri nets; discrete event systems; finite state machines; state-space methods; synchronisation; cat-and-mouse game; control logic synthesis; controlled Petri nets; controlled state machines; discrete-event dynamical systems; distributed state representation; forbi;
机译:一类受控Petri网的禁止状态问题
机译:计算受控Petri网的禁止状态可达性函数的界限
机译:一类带时间约束的受控Petri网的反馈控制综合
机译:关于一类非常规受控Petri网中的禁止状态问题
机译:在计算一类通用Petri网的生命力实施监督策略时
机译:二进制有序资源Petri Net类的虚拟控制策略
机译:论强迫转移时间petri网的影响网络和禁止状态控制