Title: Applications and theory of Petri nets
Subjects: Petri nets, Congresses, Logic design, Computer science, Software engineering