Deadlock Analysis of Unbounded Process Networks