Title: A Primer in Petri Net Design
Subjects: Petri nets, System design