Title: Resource allocation problem
Subjects: Petri nets, Resource allocation