On Liveness Enforcement of Distributed Petri Net Systems | Publicación