Title: Petri net theory and the modeling of systems
Subjects: System analysis, Petri nets, System design