A novel deadlock control policy is developed for modeling the concurrent execution of manufacturing processes with limited shared resources through a class of nets, (ESPR)-P-3. A relevant property of the system behavior ...