Application and Theory of Petri Nets and Concurrency - Antti Valmari - E-bok | Bokus