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