Title: Application and Theory of Petri Nets and Concurrency
Subjects: Petri nets, Mathematics, Software engineering, Computer science, Logic design, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters