document.getElementById("med-ftitle").innerHTML=`基于互补库所与基本虹吸管的一类Petri网的死锁预防策略
`;