Title: On deadlocks in concurrent systems
Subjects: Parallel processing (Electronic computers), Petri nets