GPU-OSDDA: a bit-vector GPU-based deadlock detection algorithm for single-unit resource systems. Issue 5 (2nd September 2016)