On deadlocks in concurrent systems: a Petri net based approach for deadlock prediction and avoidancePrévenez-moi
