發送短信 : Deadlock detection and avoidance in FMS with shared resources and parallel machines using Petri net /