Title: Decidability questions for Petri nets
Subjects: Parallel processing (Electronic computers), Petri nets, Recursion theory