Ant Colony Optimization for Deadlock Detection in Concurrent Systems