Text this: Deadlock detection and avoidance in FMS with shared resources and parallel machines using Petri net /