Title: Petri nets
Subjects: Electronic data processing, Distributed processing, Petri nets, System design, Parallel processing (Electronic computers)