A polynomial-time algorithm to decide liveness of bounded free choice nets | Publicación