Identifying state coding conflicts in asynchronous system specifications using Petri net unfoldings | Publicación