Title: Application and Theory of Petri Nets
Subjects: Software engineering, Probability and Statistics in Computer Science, Data structures (Computer science), Logic design, Data Structures, Logics and Meanings of Programs, Computation by Abstract Devices, Computer science