A Petri net solution to the problem of deadlocks in systems of processes with resources | Publicación