Title: Petri nets
Subjects: Petri nets, Machine theory