Title: Petri Nets
Subjects: Petri nets, Electronic data processing, distributed processing, Parallel processing (electronic computers), System design