Title: Application and Theory of Petri Nets and Concurrency
Subjects: Computer algorithms, Database design, Computer programming