A graph theoretical characterization of minimal deadlocks in Petri nets
Origin : Files produced by the author(s)