Petri nets; deadlock detection; formal verifiaction;
机译:使用Petri网和死锁控制器的柔性制造系统的无死锁遗传调度
机译:一种基本的基于虹吸的死锁控制算法,具有最大可到达的数目以应对普通Petri网中的死锁问题:
机译:使用Petri网模型的柔性制造系统中的防死锁和避免死锁
机译:培养网中的死锁检测:一个僵局的一丝痕迹?
机译:柔性制造系统中的死锁解决方案:一种基于Petri网的方法。
机译:基于PetriNet的支持网络物理制造系统中可追溯性的方法
机译:基于基于Siphon的死锁控制算法,具有最大可达数量,以应对普通Petri网的死锁问题
机译:petri网中死锁的有效检测