Title: Applications and Theory of Petri Nets
Subjects: Logic design, Computer science, Software engineering, Petri nets, Congresses, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Programming Techniques, Logics and Meanings of Programs, Computation by Abstract Devices