Title: The Mathematics of Petri Nets
Subjects: Petri nets, Machine theory