flexible manufacturing systems; Petri nets; reachability analysis; computational complexity; iterative methods; control system synthesis; flexible manufacturing systems; iterative synthesis; Petri nets; deadlock prevention policy; reachability graph; invariant-based control method; exponential complexity;
机译:基于Petri网的柔性制造系统死锁预防策略的迭代综合方法
机译:基于Petri网的柔性制造系统死锁预防策略的迭代综合方法
机译:基于Petri网的柔性制造系统死锁预防策略的调查与比较。
机译:基于Petri网络的僵硬制造系统的死锁预防政策迭代合成
机译:柔性制造系统中的死锁解决方案:一种基于Petri网的方法。
机译:基于PetriNet的支持网络物理制造系统中可追溯性的方法
机译:利用结构分析模型的灵活制造系统的防止防止策略