Title: Component-based software design with Petri nets
Subjects: System design, Petri nets