Easy Cases of Deadlock Detection in Train Scheduling - BizPub.ai