On deadlocks in concurrent systems: a Petri net based approach for deadlock prediction and avoidance. - Ndombe Cacutalua (Oldenbourg, 1994)