Deadlock analysis of unbounded process networks