11.4 就餐问题Petri网求解