Title: Analysis of asynchronous concurrent systems by Petri nets
Subjects: Petri nets, Sequential machine theory