Deadlock Avoidance in Batch Processes Using Patterns for Unsafe States