Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings