Title: Concurrency and Nets
Subjects: Petri nets, Machine theory